l = list(map(int,input().split()))
l.sort()

for i in range(len(l)-1):
  if l[i]-l[i+1]==-1:
    continue
  else:
    print("No")
    exit()

print("Yes")