// #define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>
using namespace atcoder;
using ll = long long;
#define rep(i,n) for (ll i = 0; i < (n); ++i)
using vl = vector<ll>;
using vvl = vector<vl>;
using P = pair<ll,ll>;
#define pb push_back
#define int long long
#define double long double
#define INF (ll) 3e18
// Ctrl + Shift + B コンパイル
// Ctrl + C 中断
// ./m 実行


signed main(){
  int n, m, w;
  cin >> n >> m >> w;
  vl a(n);
  vl b(n);
  vl c(m);
  vl d(m);
  rep(i,n) cin >> a[i];
  rep(i,n) cin >> b[i];
  rep(i,m) cin >> c[i];
  rep(i,m) cin >> d[i];
  int bitsize = (1LL << (n+m));
  vector<P> dp(bitsize, P(-INF, -INF));
  dp[0] = P(0,0);
  rep(i, bitsize){
    rep(j, n+m){
      if (i & (1<<j)) continue;
      if (j < n){
        if (dp[i].first + a[j] <= w){
          dp[i|(1<<j)].first = max(dp[i|(1<<j)].first, dp[i].first + a[j]);
          dp[i|(1<<j)].second = max(dp[i|(1<<j)].second,dp[i].second + b[j]);
        }
      }
      else{
        if (dp[i].first - c[j-n] >= 0) {
          dp[i|(1<<j)].first = max(dp[i|(1<<j)].first,dp[i].first - c[j-n]);
          dp[i|(1<<j)].second = max(dp[i|(1<<j)].second,dp[i].second - d[j-n]);
        }
      }
    }
  }
  int ans = 0;
  for(auto x : dp) ans = max(ans, x.second);
  // for(auto x : dp) cout << x.first << " " << x.second << endl;
  cout << ans << endl;
}