N=sorted(list(map(int,input().split())))
flag=0
for i in range(3):
    if N[i+1]-N[i]!=1:
        flag=1
print("Yes" if flag==0 else "No")