#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 4000000000000000001

int main(){
	
	int n,m,w;
	cin>>n>>m>>w;
	
	vector<int> a(n+m),b(n+m);
	rep(i,n)cin>>a[i];
	rep(i,n)cin>>b[i];
	rep(i,m){
		cin>>a[i+n];
		a[i+n]*=-1;
	}
	rep(i,m){
		cin>>b[i+n];
		b[i+n]*=-1;
	}
	vector<bool> dp(1<<(n+m),false);
	dp[0] = true;
	rep(i,1<<(n+m)){
		if(dp[i]==false)continue;
		rep(j,n+m){
			if((i>>j)&1)continue;
			int x = 0;
			rep(k,n+m){
				if((i>>k)&1)x += a[k];
				if(k==j)x += a[k];
			}
			//cout<<x<<endl;
			if(x>=0 && x<=w)dp[i|(1<<j)] = true;
		}
	}
	int ans = 0;
	rep(i,1<<(n+m)){
		if(dp[i]==false)continue;
		int v = 0;
		rep(j,n+m){
			if((i>>j)&1)v += b[j];
		}
		ans = max(ans,v);
	}
	cout<<ans<<endl;
	
    return 0;
}