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