A = list(map(int, input().split()))
A.sort(reverse=True)

A[3] += 3
A[2] += 2
A[1] += 1

S = set(A)

print('Yes') if len(S) == 1 else print('No')