A = list(map(int,input().split()))
A.sort()
for a,b in zip(A,A[1:]):
    if b-a != 1:
        print('No')
        exit()
print('Yes')