#include <iostream>
#include <iomanip>
#include <vector>
#include <algorithm>
#include <numeric>
#include <functional>
#include <cmath>
#include <queue>
#include <stack>
#include <set>
#include <map>

#define repd(i,a,b) for (int i=(a);i<(b);i++)
#define rep(i,n) repd(i,0,n)
#define inf 1000000000
typedef long long ll;

using namespace std;


int inputValue(){
    int a;
    cin >> a;
    return a;
};

template <typename T>
void output(T a, int precision) {
    if(precision > 0){
        cout << setprecision(precision) << a << "\n";
    }
    else{
        cout << a << "\n";
    }
}

int main() {
    
    // source code
    int N, C, V;
    cin >> N >> C >> V;
    vector<int> S(V), T(V), Y(V), M(V);
    rep(i, V) S[i] = inputValue();
    rep(i, V) T[i] = inputValue();
    rep(i, V) Y[i] = inputValue();
    rep(i, V) M[i] = inputValue();
    
    vector<vector<pair<int, pair<int, int>>>> edge(N);
    rep(i, V){
        edge[S[i] - 1].push_back(make_pair(T[i] - 1, make_pair(Y[i], M[i])));
    }
    
    vector<vector<int>> dp(N, vector<int>(C + 1, inf));
    dp[0][C] = 0;
    rep(i, N){
        rep(j, C + 1){
            if (dp[i][j] == inf) continue;
            for (auto &k : edge[i]) {
                if (j - k.second.first >= 0) {
                    dp[k.first][j - k.second.first] = min(dp[k.first][j - k.second.first], dp[i][j] + k.second.second);
                }
            }
        }
    }
    int ret = inf;
    rep(i, C + 1){
        ret = min(ret, dp[N - 1][i]);
    }
    if(ret == inf) output(-1, 0);
    else output(ret, 0);
    
    return 0;
}