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

for i in range(len(abcd)-1):
    if abs(abcd[i]-abcd[i+1]) > 1:
        print("No")
        exit()

print("Yes")