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")