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