num = list(map(int, input.split()))
num.sort()
d = num[0]
ans = 'Yes'
for id in range(3):
    d += 1
    if d != num[id + 1]: ans = 'No'
print(ans)