# -*- coding: utf-8 -*-
X, Y = map(int, raw_input().split())
stepx =[0,-2,-2,-1,-1,+1,+1,+2,+2]
stepy =[0,-1,+1,-2,+2,-2,+2,-1,+1]
for i in range(0, 9):
    for j in range(0, 9):
        for k in range(0,9):
            XG = 0
            YG = 0
            XG += stepx[i] + stepx[j] + stepx[k]
            YG += stepy[i] + stepy[j] + stepy[k]
            if XG == X and YG == Y:
                print "YES"
                exit()
print "NO"