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)

#include <stdio.h>

int main(void) {
	int x, y, i, j, a[7] = { 1, 3, 5, 7, 8, 10, 12 }, b[4] = { 4, 6, 9, 11 }, c[1] = { 2 };
	scanf("%d %d", &x, &y);

	for (i = 0; i < 7; i++) {
		if (x == a[i]) {
			for (j = 0; j < 7; j++) {
				if (y == a[j]) {
					printf("Yes");
					return(0);
				}
			}
		}
	}

		for (i = 0; i < 4; i++) {
			if (x == b[i]) {
				for (j = 0; j < 4; j++) {
					if (y == b[j]) {
						printf("Yes");
						return(0);
					}
				}
			}
		}
  	printf("No");
}