x=sorted(map(int,input().split()))
cnt=0

for i in range(len(x)-1):
    if x[i+1]==x[i]+1: 
        cnt+=1
    else:
        continue
        
print("Yes" if cnt==3 else "No")