a = list(map(int, input().split()))
a.sort()
for i in range(3):
    if a[i + 1] - a[i] != 1:
        exit(print("No"))

print("Yes")