a = list(map(int, input().split()))
a.sort()
p = a[0]
for i in range(1, 4):
    if a[i] - a[i-1] != 1:
        print("No")
        break
else:
    print("Yes")