a = list(map(int, input().split()))

a.sort()
if a[0] == a[1] -1 == a[2] -2  == a[3] - 3:
  print("Yes")
else:
  print("No")