import sys
input=lambda: sys.stdin.readline().rstrip()
A=sorted([int(i) for i in input().split()])
a,b,c,d=A
if a+1==b and b+1==c and c+1==d:
  print("Yes")
else:
  print("No")