n = list(map(int, input().split()))

n.sort()

for i in range(3):
    if n[i] + 1 != n[i+1]:
        print('No')
        break
else:
    print('Yes')