A = sorted([int(a) for a in input().split()])
m = min(A)
if A == [m, m+1, m+2, m+3]:
    print("Yes")
else:
    print("No")