import itertools as it
import numpy as np
x=list(map(int,input().split()))
k=[[-2,-1],[-2,1],[-1,-2],[-1,2],[1,-2],[1,2],[2,-1],[2,1],[0,0]]
l=[list(sum(np.array(c))) for c in it.combinations_with_replacement(k,3)]
print("YES" if x in l else "NO")