rt

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

int main()
{
	int a, b, ag = 0, bg = 0;
	cin >> a >> b;
	if(a != 0 && a != 1 && a != 4 && a != 5 && a != 2 && a != 8 && a != 3 && a != 12 && a != 6 && a != 9)
	{
		cout << "No";
		return 0;
	}
	if(b != 0 && b != 2 && b != 3 && b != 5 && b != 6 && b != 4 && b != 10 && b != 12 && b != 9 && b != 15 && b != 18 && b != 7 && b != 8 && b != 11 && b != 13 && b != 14)
	{
		cout << "No";
		return 0;
	}
	if(a == 1 || a == 4)
	{
		ag = 1;
	}
	if(a == 5 || a == 2 || a == 8)
	{
		ag = 2;
	}
	if(a == 3 || a == 12 || a == 6 || a == 9)
	{
		ag = 3;
	}
	if(b == 2 || b == 3 || b == 5 || b == 6)
	{
		bg = 1;
	}
	if(b == 4 || b == 6 || b == 10 || b == 12 || b == 5 || b == 8 || b == 11 || b == 7 || b == 9)
	{
		bg = 2;
	}
	if(b == 10 || b == 11 || b == 14 || b == 6 || b == 15 || b == 18)
	{
		bg = 3;
	}
	if(b == 10 || b == 11)
	{
		if(ag == 1 || ag == 0)
		{
			cout << "Yes";
			return 0;
		}
	}
	if(b == 6)
	{
		if(ag == 2 || ag == 1 || ag == 0)
		{
			cout << "Yes";
			return 0;
		}
	}
	if(ag + bg != 3)
	{
		cout << "No";
		return 0;
	}
	cout << "Yes";
	return 0;
}