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