#include"bits/stdc++.h"
using namespace std;
typedef long long ll;

template <class T> void chmin(T &a,T b){
    if(a>b)a=b;
}

ll dp[51][301];

const long long INF=1LL<<60;

int main(){
    ll n,c,v;
    cin>>n>>c>>v;
    vector<ll>s(v),t(v),m(v),y(v);
    vector<vector<tuple<ll,ll,ll>>>r(n+1);

    for(ll i=0;i<v;i++)cin>>s[i];
    for(ll i=0;i<v;i++)cin>>t[i];
    for(ll i=0;i<v;i++)cin>>y[i];
    for(ll i=0;i<v;i++)cin>>m[i];

    for(ll i=0;i<v;i++){
        r[s[i]-1].push_back({t[i]-1,y[i],m[i]});
    }

    for(ll i=1;i<51;i++){
        for(ll j=0;j<301;j++){
            dp[i][j]=INF;
        }
    }

    for(ll i=0;i<n;i++){
        for(ll j=0;j<=c;j++){
            for(auto [to,w,time]:r[i]){
                if(j+w<=c){
                    chmin(dp[to][j+w],dp[i][j]+time);
                }
            }
        }
    }

    if(dp[n-1][c]==INF){
        cout<<-1<<endl;
    }else{
        cout<<dp[n-1][c]<<endl;
    }
}