n,p=map(int,input().split());print('YNEOS'[1-(n//3