#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define pii pair<int, int>
#define inf 0x3f3f3f3f
#define db double
#define il inline
#define x first
#define y second
#define endl '\n'
const int N = 2e5 + 5;
const int mod = 998244353;
void solve()
{
    map<pii, int> mp;
    for (int i = 1; i <= 6; i++)
    {
        for (int j = 1; j <= 6; j++)
        {
            for (int k = 1; k <= 6; k++)
            {
                int r = 0, b = 0;
                if (i == 1 || i == 4) r += i;
                else b += i;
                if (j == 1 || j == 4) r += j;
                else b += j;
                if (k == 1 || k == 4) r += k;
                else b += k;
                mp[{r, b}] = 1;
            }
        }
    }   
    int x, y;
    cin >> x >> y;
    cout << (mp[{x, y}] ? "Yes" : "No");
}
signed main()
{
    // freopen("D:\\3022244240\\vscode\\txt\\in.txt", "r", stdin);
    // freopen("D:\\3022244240\\vscode\\txt\\out.txt", "w", stdout);
    ios::sync_with_stdio(false);
    cin.tie(0); cout.tie(0);
    int T = 1;
    // cin >> T;
    while (T--) solve();
    return 0;
}