nums = list(map(int, input().split()))
unique = set(nums)
if len(unique) != 4:
    print("No")
else:
    s = sorted(nums)
    max_val = s[3]
    min_val = s[0]
    if max_val - min_val == 3 and sum(s) == 4 * min_val + 6:
        print("Yes")
    else:
        print("No")