X = sorted(list(map(int, input().split())))

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