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