l=list(map(int,input().split()))
l.sort()
if len(set(l))==4 and l[-1]-l[0]==3:
  print("Yes")
else:
  print("No")