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 Fortran (gfortran v4.8.4) (judge verdict: Accepted)

program main
 implicit none
  integer a,b,c,d
  b=0
  read*,a,b
  c=0
  if(a==1.or.a==3.or.a==5.or.a==7.or.a==8.or.a==10.or.a==12)c=c+1
  if(b==1.or.b==3.or.b==5.or.b==7.or.b==8.or.b==10.or.b==12)c=c+1
  if(c==2)print*,'Yes'
  d=0
  if(a==4.or.a==6.or.a==9.or.a==11)d=d+1

  if(b==4.or.b==6.or.b==9.or.b==11)d=d+1
  if(d==2)print*,'Yes'
  if(a==2.or.b==2) then
    print*,'No'
  else if (c==1.and.d==1)then
  print*,'No'
  end if
end program