r=lambda x:reduce(lambda a,b:a+b,map(f,x))
f=lambda x:[[x[0]-2,x[1]-1],[x[0]-2,x[1]+1],[x[0]-1,x[1]-2],[x[0]-1,x[1]+2],[x[0]+1,x[1]-2],[x[0]+1,x[1]+2],[x[0]+2,x[1]-1],[x[0]+2,x[1]+1]]
print"YES"if map(int,raw_input().split())in f([0,0])+r(f([0,0]))+r(r(f([0,0])))else"NO"