#include <stdio.h>

int main(void){
	int i, x, y, flg = 0;
	scanf("%d %d", &x, &y);
	if(x<0) x *= -1;
	if(y<0) y *= -1;
	if(x>6 || y>6){
		printf("NO\n");
		return 0;
	}

	     if(x==0 && y!=6)                    flg++;
	else if(x==1 && y!=5)                    flg++;
	else if(x==2 && y!=2 && y!=6)            flg++;
	else if(x==3 && y!=5)                    flg++;
	else if(x==4 && y!=4 && y!=6)            flg++;
	else if(x==5 && (y==0 || y==2 || y==4 )) flg++;
	else if(x==6 && (y==2 || y==4 ))         flg++;

	if(!flg) printf("YES\n"); else printf("NO\n");
	return 0;
}