N = list(map(int, input().split()))
N.sort()

for i in range(len(N)):
    if N[i] != N[0] + i:
        print("No")
        break
else:
    print("Yes")