typedef long long ll;
typedef long double ld;
#include <bits/stdc++.h>
using namespace std;
#define int long long

signed main(){
    ll n,m,w;
    std::cin >> n>>m>>w;
    vector<ll> a(n),b(n);
    for (int i = 0; i < n; i++) {
        std::cin >> a[i];
    }
    for (int i = 0; i < n; i++) {
        std::cin >> b[i];
    }
    vector<ll> c(m),d(m);
    for (int i = 0; i < m; i++) {
        std::cin >> c[i];
    }
    for (int i = 0; i < m; i++) {
        std::cin >> d[i];
    }
    ll l = n+m;
    ll l2 = 1<<l;
    vector<bool> dp(l2);
    
    // std::cout << l2 << std::endl;
    ll ans = 0;
    dp[0]=true;
    for (int i = 1; i < l2; i++) {
        ll sumc = 0;
        ll sumd = 0;
        for (int j = 0; j < l; j++) {
            if(!(i&(1<<j)))continue;
            if(j<n){
                sumc += a[j];
                sumd += b[j];
            }else{
                sumc -= c[j-n];
                sumd -= d[j-n];
            }
        }
        if(sumc<0||sumc>w)continue;
        
        for (int j = 0; j < l; j++) {
            if(i&(1<<j)){
                if(!dp[i&~(1<<j)])continue;
                if(j<n){
                    if(sumc-a[j]>=0&&sumc-a[j]<=w){
                        dp[i] = true;
                    }
                }else{
                    if(sumc+c[j-n]>=0&&sumc+c[j-n]<=w){
                        dp[i] = true;
                    }
                }
            }
        }
        if(dp[i]){
            ans = max(ans, sumd);
        }
    }
    std::cout << ans << std::endl;
}