atai=list(map(int,input().split()))
atai.sort()
count = 1
for i in range(len(atai)-1):
    if abs(atai[i]-atai[i+1])==1:
        count+=1
if count==len(atai):
    print("Yes")
else:
    print("No")