#include using namespace std; using ll=long long; int main() { ios::sync_with_stdio(false); cin.tie(nullptr); ll n,c,v;cin>>n>>c>>v; vector dp(n+1,vector(c+1,1LL<<60)); vectorS(v),T(v),Y(v),M(v); for(auto&o:S)cin>>o; for(auto&o:T)cin>>o; for(auto&o:Y)cin>>o; for(auto&o:M)cin>>o; vector>>g(n+1); for(int i=0;ic)continue; dp[t][j+y]=min(dp[t][j+y],dp[i][j]+m); } } } ll ans=1LL<<60; for(int i=0;i<=c;i++)if(dp[n][i]!=1LL<<60)ans=min(ans,dp[n][i]); cout<<(ans==1LL<<60?-1ll:ans)<