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 reduce(lambda a,b:a+b,map(f,reduce(lambda a,b:a+b,map(f,f([0,0]))))) else "NO"