A = sorted(map(int, input().split()))

if all(b - a == 1 for a, b in zip(A, A[1:])):
    print("Yes")
else:
    print("No")