n, m, w = map(int, input().split())
a = list(map(int, input().split()))
b = list(map(int, input().split()))
c = list(map(lambda x: -int(x), input().split()))
d = list(map(lambda x: -int(x), input().split()))
ac = a + c
bd = b + d
k = n + m
weight = [0] * (1 << k)
value = [0] * (1 << k)
for i in range(1<<k):
  tmp = i
  for j in range(k):
    weight[i] += ac[j] * (tmp % 2)
    value[i] += bd[j] * (tmp % 2)
    tmp //= 2
flg = [0] * (1 << k)
# print(weight)
ans = 0
flg[0] = 1
for i in range(1<<k):
  if not 0 <= weight[i] <= w:
    continue
  for j in range(k):
    for l in range(k):
      if not 0 <= weight[i|(1<<l)] <= w:
        continue
      if i & (1 << l):
        continue
      flg[i|(1<<l)] |= flg[i]
  ans = max(ans, value[i]*flg[i])
print(ans)