A = list(map(int, input().split()))
A.sort()
bk = A[0]
for i in range(1, len(A)):
    if bk+1!=A[i]:
        print("No")
        exit()
    bk = A[i]
print("Yes")