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.

b4ab979900ed647703389d4349eb84ee.png

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`.

Examples

Input

1 3


Output

Yes


Input

2 4


Output

No
import java.util.*;
public class Main {
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
		int a = sc.nextInt();
		int b = sc.nextInt();
		int flag=0;
		
		int group[][];
		group = new int[3][];
		
		int first[] = {1,3,5,7,8,10,12};
		int second[] = {4,6,9,11,0,0,0};
		int third[]={2,0,0,0,0,0,0};
		
		group[0]=first;
		group[1]=second;
		group[2]=third;
		
		int i;
		int j;
		
		for (i = 0; i < 2; i++) {
			for(j=0; j<7; j++){
				if(a==group[i][j]||b==group[i][j]){
					flag=flag+1;
				}
			}
			if(flag==2){
				System.out.println("Yes");
				break;
			}
			if(flag==2){
				break;
			}
			flag=0;
		}
		if(flag==0){
			System.out.println("No");
		}
	}
}