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

print('Yes')