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である時の価値の最大値
dp = [[[-1] * (W+1) for _ in range(2**(N+M))] for _ in range(N+M+1)]
dp[0][0][0] = 0
for i in range(1, N+M+1):
    for j in range(2**(N+M)):
        for k in range(W):
            if dp[i-1][j][k] == -1:
                continue
            dp[i][j][k] = max(dp[i][j][k], dp[i-1][j][k])
            for l in range(N+M):
                # l番目の操作をまだ行っていない かつ 操作を行っても重さが条件を満たす
                if not j >> l & 1 and 0 <= k + A[l] <= W:
                    if dp[i][j|2**l][k+A[l]] == -1:
                        dp[i][j|2**l][k+A[l]] = dp[i-1][j][k] + B[l]
                    else:
                        dp[i][j|2**l][k+A[l]] \
                            = max(dp[i][j|2**l][k+A[l]], dp[i-1][j][k] + B[l])
ans = -float('inf')
for j in range(2**(N+M)):
    ans = max(ans, max(dp[-1][j]))
print(ans)