x;main(y){x=scanf("%d%d",&x,&y)>puts(x<7&y<7&44714836291519>>x*7+y?"YES":"NO",x=abs(x),y=abs(y));}