#include <bits/stdc++.h>
using namespace std;
#define endl '\n'
#define up(i, a, b) for (int i = (a); i <= (b); i++)
#define dn(i, a, b) for (int i = (a); i >= (b); i--)
typedef long long ll;
inline int read()
{
    int x = 0, f = 1;
    char ch = getchar();
    while (ch < 48 || ch > 57)
    {
        if (ch == '-')
            f = -1;
        ch = getchar();
    }
    while (ch >= 48 && ch <= 57)
    {
        x = (x << 1) + (x << 3) + (ch ^ 48);
        ch = getchar();
    }
    return x * f;
}
inline void write(int x)
{
    if (x < 0)
    {
        putchar('-');
        x = -x;
    }
    if (x > 9)
        write(x / 10);
    putchar(x % 10 + '0');
}
map<int, int> mp;

void solve()
{
    int x, y;
    cin >> x >> y;
    if ((x == 3 || x == 6 || x == 9 || x == 12) && y == 0)
    {
        cout << "Yes";
    }
    else if ((x == 2 || x == 5 || x == 8) && (y == 2 || y == 3 || y == 5 || y == 6))
    {
        cout << "Yes";
    }
    else if ((x == 1 || x == 4) && (y >= 4 && y <= 12))
    {
        cout << "Yes";
    }
    else if ((x == 0) && (y >= 6 && y <= 18))
    {
        cout << "Yes";
    }
    else
        cout << "No";
}

signed main()
{
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    cout.tie(nullptr);

    solve();

    return 0;
}