x;main(y){x=scanf("%d%d",&x,&y)>puts(x<7&y<7&x+y<10&x+y|x<5&y<5&(x-y||x%2|!x)?"YES":"NO",x=abs(x),y=abs(y));}