#include "bits/stdc++.h"
using namespace std;
#define int long long
#define FOR(i, a, b) for(int i=(a);i<(b);i++)
#define RFOR(i, a, b) for(int i=(b-1);i>=(a);i--)
#define REP(i, n) for(int i=0; i<(n); i++)
#define RREP(i, n) for(int i=(n-1); i>=0; i--)
#define REP1(i, n) for(int i=1; i<=(n); i++)
#define RREP1(i, n) for(int i=(n); i>=1; i--)
#define ALL(a) (a).begin(),(a).end()
#define UNIQUE_SORT(l) sort(ALL(l)); l.erase(unique(ALL(l)), l.end());
#define CONTAIN(a, b) find(ALL(a), (b)) != (a).end()
#define out(...) printf(__VA_ARGS__)

int dxy[] = {0, 1, 0, -1, 0};

void solve();
signed main()
{
#if DEBUG
    std::ifstream in("input.txt");
    std::cin.rdbuf(in.rdbuf());
#endif
    cin.tie(0);
    ios::sync_with_stdio(false);
    solve();
    return 0;
}

/*================================*/
#define YMAX 1000

int N,C,V;
// i番目の街/コスト→最短時間
int DP[100][YMAX];
struct Edge { int S,T,Y,M; Edge():S(0),T(0),Y(0),M(0){}; };
vector<Edge> E;

void solve() {
    cin>>N>>C>>V;
    E.resize(V);
    REP(i,V)cin>>E[i].S;
    REP(i,V)cin>>E[i].T;
    REP(i,V)cin>>E[i].Y;
    REP(i,V)cin>>E[i].M;
    sort(E.begin(), E.end(), [](Edge a, Edge b){return a.S < b.S;});
    REP(i,100)REP(j,YMAX)DP[i][j]=INT_MAX;
    DP[1][0]=0;
    for (auto e:E) {
        REP(j,333) {
            DP[e.T][j+e.Y] = min(DP[e.T][j+e.Y], DP[e.S][j]+e.M);
        }
    }
    int ans = INT_MAX;
    REP(j,C+1) {
        ans = min(ans, DP[N][j]);
    }
    if (ans==INT_MAX) cout << -1 <<endl;
    else cout << ans << endl;
}