#include <bits/stdc++.h>

using namespace std;

typedef pair<int,int> P;
typedef pair<int,pair<int,int>> PP;
typedef long long ll;

const double EPS = 1e-8;
const int INF = 1e9;
const int MOD = 1e9+7;

int dy[] = {0,1,0,-1};
int dx[] = {1,0,-1,0};

struct edge{int to,cost,tm;};


int main(void) {
	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];

	for(int i=0;i<v;i++){
		s[i]--;t[i]--;
	}

	vector<vector<edge>> es(n+1);
	for(int i=0;i<v;i++){
		es[s[i]].push_back(edge{t[i],y[i],m[i]});
	}

	//dp[今いる場所][残りコスト] := 移動時間
	vector<vector<int>> dp(n+1,vector<int>(c+1,INF));
	dp[0][c] = 0;
	for(int i=0;i<n;i++){
		for(int j=0;j<=c;j++){
			if(dp[i][j] == INF)continue;
			for(int k=0;k<es[i].size();k++){
				int to = es[i][k].to;
				int cost = es[i][k].cost;
				int tm = es[i][k].tm;
				if(j - cost < 0)continue;
				dp[to][j-cost] = min(dp[i][j]+tm,dp[to][j-cost]);
				//cout << j - cost << endl;
			}
		}
	}

	int ret = INF;
	for(int i=0;i<=c;i++){
		ret = min(ret,dp[n-1][i]);
	}

	cout << (ret==INF?-1:ret) << endl;
	return 0;
}