n,s=map(int,input().split()) print("NYoe s"[24