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