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