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