*A, = map(int, input().split())
A = sorted(A)
for a, b in zip(A, A[1:]):
    if b != a+1:
        print('No')
        break
else:
    print('Yes')