A, B, C, D = map(int, input().split())
Numbers = list(sorted([A, B, C, D]))
if Numbers[1] == Numbers[0] + 1 and Numbers[2] == Numbers[1] + 1 and Numbers[3] == Numbers[2] + 1:
  print("Yes")
else:
  print("No")