cnt = 0
a = list(map(int, input().split()))
a.sort()
for i in range(3):
    if a[i] + 1 == a[i+1]:
        cnt+=1
if cnt == 3:
    print('Yes')
else:
    print('No')