lst = list(map(int, input().split()))
lst.sort()
for i in range(1, len(lst)):
    if lst[i] - lst[i-1] != 1:
        print("No")
        break
    elif i == len(lst) - 1:
        print("Yes")