#include <bits/stdc++.h>
using namespace std;
#define int long long
const int N = 1e4 + 10;

void solve()
{
	int n, m;
	cin >> n >> m;
	if (n == 0)
	{
		if (6 <= m && m <= 18)
			cout << "Yes";
		else
			cout << "No";
	}
	if (n == 1 || n == 4)
	{
		if (m >= 4 && m <= 12)
			cout << "Yes";
		else
			cout << "No";
	}
	if (n == 2 || n == 5 || n == 8)
	{
		if (m == 2 || m == 3 || m == 5 || m == 6)
			cout << "Yes";
		else
			cout << "No";
	}
	if (n == 3 || n == 6 || n == 9 || n == 12)
	{
		if (m == 0)
			cout << "Yes";
		else
			cout << "No";
	}
	else cout<<"No";
	return;
}

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