num_list = list(map(int, input().split()))
num_list = sorted(num_list)

is_succsess = True

for i in range(3):
    if not num_list[i]+1==num_list[i+1]:
        is_succsess = False
        break

if is_succsess:
    print("Yes")
else:
    print("No")