#include <iostream>
#include <vector>
#include <string>
#include <sstream>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <functional>

using namespace std;

typedef long long ll;
typedef unsigned long long ull;

#define REP(i,n) for (int i = 0; i < (n); i++)
#define FOR(i,s,n) for (int i = (s); i < (n); i++)
#define INF (1L << 30)
#define LINF (1LL << 6
int S[50], T[50];
int edge[51][51], cost[51][51], dt[51][51];
int Y[51], M[51];
int dp[51][301];

int main() {
    int n,c,v;
    cin >> n >> c >> v;
    REP(i, v) cin >> S[i];
    REP(i, v) cin >> T[i];
    REP(i, v) cin >> Y[i];
    REP(i, v) cin >> M[i];
    
    fill((int*)edge, (int*)edge+50*50, 0);
    REP(i, v) {
        edge[S[i]][T[i]] = 1;
        cost[S[i]][T[i]] = Y[i];
        dt[S[i]][T[i]] = M[i];
    }
    
    
    fill((int*)dp, (int*)dp+51*301, INF);
    dp[1][0] = 0;
    FOR(i, 1, n+1) FOR(j, i+1, n+1) REP(cst, c+1) {
        if(edge[i][j] == 1)
            dp[j][cost[i][j]+cst] = min(dp[j][cost[i][j]+cst], dp[i][cst] + dt[i][j]);
    }
    int ans = INF;
    REP(i, c+1) ans = min(ans, dp[n][i]);
    cout << (ans==INF ? -1 : ans) << endl;
    
    return 0;
}