#include <bits/stdc++.h>
using namespace std;
#define int long long
int c[7] = { 0,1,4,2,3,5,6 };

void solve() {
    int a, b;cin >> a >> b;
    for (int i = 1;i <= 6;i++) {
        for (int j = 1;j <= 6;j++) {
            for (int k = 1;k <= 6;k++) {
                int x = 0, y = 0;
                if (i <= 2)x += c[i];
                else y += c[i];
                if (j <= 2)x += c[j];
                else y += c[j];
                if (k <= 2)x += c[k];
                else y += c[k];
                if (a == x and y == b) {
                    cout << "Yes\n";
                    return;
                }
            }
        }
    }
    cout << "No\n";
}

signed main() {
    ios::sync_with_stdio(0);
    cin.tie(0);
    int T = 1;
#ifdef LOCAL
    freopen("data.in", "r", stdin);
    freopen("data.out", "w", stdout);
#endif
    // cin >> T;
    while (T--)
        solve();
    return 0;
}