#include<iostream>
#include<vector>
#include<algorithm>
#include<tuple>
using namespace std;
using Long=long long;
using Cost = tuple<Long,Long>;

void update_node(vector<Cost>& costs, Cost c) {
    // cよりも大きいコストがあれば消してcをいれる
    // cよりも小さいコストがあれば入れない
    if(any_of(costs.begin(),costs.end(),
        [&](Cost a) {
            return (get<0>(a)<=get<0>(c)) && (get<1>(a)<=get<1>(c));
        }))
    {
        //
    }
    else {
        costs.erase(remove_if(costs.begin(),costs.end(),[&](Cost a){
            return (get<0>(a)>=get<0>(c)) && (get<1>(a)>=get<1>(c));
        }), costs.end());
        costs.push_back(c);
    }
}

int main() {
    int N,C,V;
    cin >> N >> C >> V;
    vector<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) cin >> T[i];
    for(int i=0;i<V;++i) cin >> Y[i];
    for(int i=0;i<V;++i) cin >> M[i];

    vector<vector<Cost>> node(N+1);
    node[1].push_back(Cost{0,0});
    for(int i=1;i<=N;++i) {
        // node iからnode jへのコストを計算
        for(int j=1;j<=N;++j) {
            // iからjへのパスを探す
            for(int k=0;k<V;++k) {
                if(S[k]==i && T[k]==j) {
                    for(int l=0;l<node[i].size();++l) {
                        int c1 = get<0>(node[i][l]) + Y[k];
                        int c2 = get<1>(node[i][l]) + M[k];
                        Cost c{c1,c2};
    //                  cout << "node " << j+1 << "update (" << i+1 << "->" << j+1 << ")" << endl;
                        update_node(node[j], c);
                    }
                }
            }
        }
    }
    //for(int i=0;i<node.size();++i) {
    //  cout << (i+1) << ": ";
    //  disp(node[i]);
    //  cout << endl;
    //}

    Long minval = 12e6;
    for(int i=0;i<node[N].size();++i) {
        if(get<0>(node[N][i])<=C && get<1>(node[N][i])<minval) {
            minval = get<1>(node[N][i]);
        }
    }
    cout << (minval==12e6 ? -1 : minval) << endl;
}