A = list(map(int, input(). split()))
X = sorted(A)
print(['Yes','No'][0 if X[0] +3 == X[1] + 2 == X[2] + 1 == X[3] else 1])