A = sorted(map(int, input().split()))
yes = all(A[i]-A[i-1]==1 for i in range(1, len(A)))
print('Yes' if yes else 'No')