"""
reference:
	https://yukicoder.me/submissions/886509

[解法]
まず、魔法は重さ-w、価値-vのものの購入と考えることで、操作は一通りにしておける。
操作は順番が違っても同じ重さと価値を得ることに気づきたい。
そうすると、操作の並び替えは必要なく、操作の小さい方から確定させていくことで、回答できる。
（これはbitDP。）
"""

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[s][w]: 行った操作の集合がsで重さがwである時の価値の最大値
dp = [[-float('inf')] * (W + 1) for _ in range(2**(N+M))]
dp[0][0] = 0
for s in range(2**(N+M)):
	for w in range(W+1):
		for i in range(N+M):
			if s >> i & 1 and 0 <= w - A[i] <= W and dp[s-2**i][w-A[i]] != -float('inf'):
				dp[s][w] = max(dp[s][w], dp[s-2**i][w-A[i]] + B[i])

ans = -float('inf')
for i in dp:
	ans = max(ans, max(i))
print(ans)