#29884: Python 一行


6plux (6+x)


r = [int(i) for i in input().split()]; print("Yes" if r==[6,12] else "No")