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