A = list(map(int, input().split()))
A.sort()
if A[0] + 3 == A[1] + 2 == A[2] + 1 == A[3]:
    print("Yes")
else:
    print("No")