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

N.sort()

judge = True
for i in range(len(N)-1):
    if N[i+1]-N[i] != 1:
        judge = False
        break

if judge:
    print("Yes")
else:
    print("No")