lst = list(map(int, input().split()))
lst.sort()

ans = "Yes"
for i in range(len(lst) - 1):
    if lst[i + 1] != lst[i] + 1:
        ans = "No"

print(ans)