#include <bits/stdc++.h>
using namespace std;

int main(void) {
    struct edge {
        int from, cost, time;
    };

    int N,C,V;
    cin >> N; cin >> C; cin >> V;
    int S[V],T[V],Y[V],M[V];
    for(int i=0; i<V; i++) cin >> S[i];
    for(int i=0; i<V; i++) S[i]--;
    for(int i=0; i<V; i++) cin >> T[i];
    for(int i=0; i<V; i++) T[i]--;
    for(int i=0; i<V; i++) cin >> Y[i];
    for(int i=0; i<V; i++) cin >> M[i];

    vector< vector <edge> > e(V);
    for(int i=0; i<V; i++) {
        edge memo;
        memo.from = S[i];
        memo.cost = Y[i];
        memo.time = M[i];
        e[T[i]].push_back(memo);
    }
    int dp[N][C];
    for(int i=0; i<N; i++) for(int j=0; j<C; j++) dp[i][j] = 1000000000;

    for(int i=0; i<N; i++) {
        if(i==0) {
            dp[0][0] = 0;
            continue;
        }
        for(int j=0; j<e[i].size(); j++) {
            int f=e[i][j].from, c=e[i][j].cost, t=e[i][j].time;
            for(int k=c; k<=C; k++) dp[i][k] = min(dp[i][k], dp[f][k-c] + t);
        }
    }

    int ans=1000000000;

    for(int i=0; i<C; i++) ans = min(ans, dp[N-1][i]);

    if(ans == INT_MAX) cout << -1 << endl;
    else cout << ans << endl;

    return 0;
}