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

for i in range(len(L)-1):
    if L[i+ 1] -L[i] != 1:
        print('No')
        break
else:
    print('Yes')