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

int main(){
	
	long long N,M,W;
	cin>>N>>M>>W;
	vector<long long> a(N);
	rep(i,N)cin>>a[i];
	sort(a.rbegin(),a.rend());
	a.insert(a.begin(),0);
	rep(i,N)a[i+1] += a[i];
	vector<long long> c(M),b(M);
	rep(i,M){
		cin>>b[i];
	}
	rep(i,M)cin>>c[i];
	long long ans = 0;
	rep(i,1<<M){
		long long rem = W;
		long long vs = 0;
		rep(j,M){
			
			if((i>>j)&1){
				rem -= b[j];
				vs += c[j];
			}
		}
		
		if(rem<0)continue;
		rem = min(rem,N);
		vs += a[rem];
		ans = max(ans,vs);
		
	}
	cout<<ans<<endl;
	
	return 0;
}