#54272: python


rumm2859@gmail.com (青)


a,b=map(int,input().split())
if a==6 and b==12:
    print("Yes")
else:
    print("No")