x, y = map(lambda x:abs(int(x)), raw_input().split())
if (x==y>0 and x%2<1) or x+y>9 or x>6 or y>6 or (x>4 and y>6 and (x+y)%2<1):
    print "NO"
else:
    print "YES"