t=[[0,0]]
u=t[:]
for i in range(3):
	n=[]
	for j in t:
		n+=[[j[0]-2,j[1]-1]]
		n+=[[j[0]-2,j[1]+1]]
		n+=[[j[0]-1,j[1]-2]]
		n+=[[j[0]-1,j[1]+2]]
		n+=[[j[0]+1,j[1]-2]]
		n+=[[j[0]+1,j[1]+2]]
		n+=[[j[0]+2,j[1]-1]]
		n+=[[j[0]+2,j[1]+1]]
	t=n
	u+=t
print["NO","YES"][map(int,raw_input().split())in u]