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