#include <iostream>
#include <vector>
#include <queue>
#include <string>
#include <cstring>
#include <cstdio>
#include <sstream>
#include <cstdlib>
#include <cmath>
#include <algorithm>
#include <set>
#include <map>
#include <list>
#include <iomanip>

#define INF 1000000001
#define FOR(i, a, b) for (int i = (a); i < (b); i++)
#define RFOR(i, a, b) for (int i = (a); i >= (b); i--)

using namespace std;

typedef long long ll;
typedef pair<int, int> pii;
const double PI = acos(-1.0);

struct Edge {
	int to;
	int cost;
	int time;
	Edge(int a,int b,int c):to(a),cost(b),time(c){}
};

int N, C, V;
int S[1501];
int T[1501];
int Y[1501];
int M[1501];

vector<Edge> G[51];

int dp[51][301];

int main()
{
	ios::sync_with_stdio(false);

	cin >> N >> C >> V;
	FOR(i,0,V) cin >> S[i], S[i]--;
	FOR(i,0,V) cin >> T[i], T[i]--;
	FOR(i,0,V) cin >> Y[i];
	FOR(i,0,V) cin >> M[i];

	FOR(i,0,51) FOR(j,0,301) dp[i][j] = INF;
	FOR(i,0,V) {
		G[S[i]].push_back(Edge(T[i], Y[i], M[i]));
	}

	dp[0][C] = 0;
	FOR(i,0,51) RFOR(j,C,0) {
		if (dp[i][j]!=INF) {
			FOR(k,0,G[i].size()) {
				Edge e = G[i][k];
				if (j-e.cost>=0) {
					dp[e.to][j-e.cost] = min(dp[e.to][j-e.cost], dp[i][j]+e.time);
				}
			}
		}
	}

	int ans=INF;
	FOR(i,0,C+1) ans = min(ans, dp[N-1][i]);
	if (ans==INF) ans=-1;
//	FOR(i,0,N) {
//		FOR(j,0,C+1) {
//			if (dp[i][j]==INF) dp[i][j]=-1;
//			cout << dp[i][j] << "\t";
//		}cout << endl;
//	}
	cout << ans << endl;

	return 0;
}