#include <bits/stdc++.h>
// #define int long long
#define inf 0x3f3f3f3f
#define ll long long
#define pii pair<int, int>
#define tii tuple<int, int, int>
#define db double
#define all(a) a.begin(), a.end()
using namespace std;
const int maxn = 1e5 + 10;
const int mod = 998244353;
int tag(int x) {
    if (x == 1 || x == 4) return 0;
    return 1;
}
void solve() {
    int x, y; cin >> x >> y;
    int flag = 0;
    for (int i = 1; i <= 6; i++)
        for (int j = 1; j <= 6; j++)
            for (int k = 1; k <= 6; k++) {
                int sum[2] = {0, 0};
                sum[tag(i)] += i;
                sum[tag(j)] += j;
                sum[tag(k)] += k;
                flag |= sum[0] == x && sum[1] == y;
            }
    if (flag) cout << "Yes\n";
    else cout << "No\n";
}
signed main() {
    // freopen("1.in", "r", stdin);
    // freopen("1.out", "w", stdout);
    ios::sync_with_stdio(false);
    cin.tie(0), cout.tie(0);
    int t = 1;
    // cin >> t;
    while (t--)
        solve();
    return 0;
}