N, M, W = map(int, input().split())
A = list(map(int, input().split()))
B = list(map(int, input().split()))
A += list(map(lambda x: -int(x), input().split()))
B += list(map(lambda x: -int(x), input().split()))

# bitDP
# dp[i][j][k]: i回各操作を行うかを決め、行った操作の集合がjであり、重さがkである時の価値の最大値
# MLEでたから、dp[i-1]とdp[i]のみを、oldとnewwとして保持してみる
old = [[-1] * (W+1) for _ in range(2**(N+M))]
old[0][0] = 0
for _ in range(1, N+M+1):
    neww = [[-1] * (W+1) for _ in range(2**(N+M))]
    for j in range(2**(N+M)):
        for k in range(W):
            if old[j][k] == -1:
                continue
            neww[j][k] = max(neww[j][k], old[j][k])
            for l in range(N+M):
                # l番目の操作をまだ行っていない かつ 操作を行っても重さが条件を満たす
                if not j >> l & 1 and 0 <= k + A[l] <= W:
                    if neww[j|2**l][k+A[l]] == -1:
                        neww[j|2**l][k+A[l]] = old[j][k] + B[l]
                    else:
                        neww[j|2**l][k+A[l]] \
                            = max(neww[j|2**l][k+A[l]], old[j][k] + B[l])
    old = neww
ans = -float('inf')
for j in range(2**(N+M)):
    ans = max(ans, max(old[j]))
print(ans)