#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<ll, ll> pii;


void solve() {
	int a, b;
	cin >> a >> b;
	vector<int> A = {1, 4}, B = {2, 3, 5, 6};
	for (int i = 0; i < 2; i ++) {
		for (int j = 0; j < 4; j ++) {
			for (int k = j; k < 4; k ++) {
				if (a == A[i] && b == B[j] + B[k]) {
					cout << "Yes\n";
					return;
				}
			}
		}
	}

	for (int i = 0; i < 4; i ++) {
		for (int j = 0; j < 2; j ++) {
			for (int k = j; k < 2; k ++) {
				if (a == A[j] + A[k] && b == B[i]) {
					cout << "Yes\n";
					return;
				}
			}
		}
	}
	for (int i = 0; i < 2; i ++) {
		for (int j = 0; j < 2; j ++) {
			for (int k = 0; k < 2; k ++) {
				if (a == A[i] + A[j] + A[k] && b == 0) {
					cout << "Yes\n";
					return;
				}
			}
		}
	}

	for (int i = 0; i < 4; i ++) {
		for (int j = 0; j < 4; j ++) {
			for (int k = 0; k < 4; k ++) {
				if (b == B[i] + B[j] + B[k] && a == 0) {
					cout << "Yes\n";
					return;
				}
			}
		}
	}
	cout << "No\n";
}

int main() {
	ios::sync_with_stdio(false);
	cin.tie(nullptr); cout.tie(nullptr);
	int t = 1;
	//cin >> t;
	while (t --) {
		solve();
	}
}