a = [int(i) for i in input().split()]
a.sort()

now = a[0]

for i in range(3):
    if now + 1 != a[i+1]:
        print("No")
        exit()
    else:
        now = a[i+1]
print("Yes")