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.Scanner;

public class Main {

	public static void main(String[] args)  {
		Scanner sc = new Scanner(System.in);

		int x[] = new int[2];
		x[0] = sc.nextInt();
		x[1] = sc.nextInt();

		int[][] group = {{1,3,5,7,8,10,12},{4,6,9,11},{2}};

		for(int i = 0; i < 3; i++){
			boolean flag[] = new boolean[2];
			for(int j = 0; j < group[i].length; j++){
				for(int k = 0; k < 2; k++){
					if(x[k] == group[i][j]){
						flag[k] = true;
					}
				}
			}

			if(flag[0] && flag[1]){
				System.out.println("Yes");
				return;
			}
		}

		System.out.println("No");
	}
}