#include <bits/stdc++.h>
using namespace std;

using i64 = long long;

int __OneWan_2024 = [](){
	ios::sync_with_stdio(0);
	cin.tie(0);
	cout.tie(0);
	return 0;
}();
int a[10] = {0, 1, 2, 2, 1, 2, 2};
int main() {
    int A, B;
    cin >> A >> B;
    array<int, 3> sum{};
    for (int i = 1 ; i <= 6 ; i++) {
        sum[a[i]] += i;
        for (int j = 1 ; j <= 6 ; j++) {
            sum[a[j]] += j;
            for (int k = 1 ; k <= 6 ; k++) {
                sum[a[k]] += k;
                if (A == sum[1] && B == sum[2]) {
                    cout << "Yes\n";
                    return 0;
                }
                sum[a[k]] -= k;
            }
            sum[a[j]] -= j;
        }
        sum[a[i]] -= i;
    }
    cout << "No\n";
	return 0;
}