abcd = list(sorted(map(int,input().split())))
print("Yes") if len(list(filter(lambda x:x!=1,[abcd[i]-abcd[i-1] for i in range(1,len(abcd))])))==0 else print("No")