l=sorted(map(int,input().split()))
print("YNeos"[l!=list(range(l[0],l[0]+4))::2])