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: Runtime Error)

#include <stdio.h>
int grouping(int arr[10],int x,int y,int n)
{
    int i,p=0,q=0;
    for(i=0;i<n;i++)
    {
        if(x==arr[i])
        p=1;
        else if(y==arr[i])
        q=1;
    }
    if(p==1 && q==1)
    {printf("\nYes");exit(0);}
    else if((p==1 && q==0) || (p==0 && q==1))
    {printf("No");exit(0);}
    return 0;
}
int main()
{
    int x,y;
    printf("%d %d",&x,&y);
    int *a1={1,3,5,7,8,10,12};int *a2={4,6,9,11};int *a3={2};
    grouping(a1,x,y,7);
    grouping(a2,x,y,4);
    grouping(a3,x,y,1);
    return 0;
}