Problem:
Score : 100 points

Problem Statement

Based on some criterion, Snuke divided the integers from 1 through 12 into three groups as shown in the figure below.
Given two integers x and y (1 ≤ x < y ≤ 12), determine whether they belong to the same group.

Constraints

x and y are integers.

1 ≤ x < y ≤ 12

Input

Input is given from Standard Input in the following format:

x y

Output

If x and y belong to the same group, print Yes; otherwise, print No.

Sample Input 1

1 3

Sample Output 1

Yes

Sample Input 2

2 4

Sample Output 2

No

Solution in C (GCC 5.4.1) (judge verdict: Accepted)

/* 入力：1～12の整数x、y	出力：Yes・No
	xとyは同じグループに属しているのかを調べるプログラム*/


#include <stdio.h>

//整数を入力すると所属グループ番号を出力する
int group(int num)
{
	switch (num)
	{
		case 2: num = 1;
				break;
		case 4:
		case 6:
		case 9:
		case 11:num = 2;
				break;
		default:num = 3;
				break;
	}
	return num;
}
int main (void)
{
	//変数宣言
	int x,y;//入力
	char str[8]; //標準入力読み取り用
	
	//標準入力読み込み
	fgets(str,8,stdin);
	sscanf(str,"%d %d",&x,&y);
	
	//グループチェック
	x = group(x);
	y = group(y);
	
	//出力
	if(x == y)
	{
		puts("Yes");
	}else
	{
		puts("No");
	}
	
	return 0;
}