from itertools import product

L = list(map(int, input().split()))
x = int(input())

for P in product(range(3), repeat=6):
    LL = []
    for i in range(6):
        LL.append(L[P[i]])
    for bit in range(3**6):
        Q = []
        bitc = bit
        for i in range(6):
            Q.append(bitc % 3 - 1)
            bitc //= 3
        res = 0
        for i in range(6):
            res += Q[i] * LL[i]
        if abs(res) == x:
            print("Yes")
            exit()
print("No")