#include <iostream> 
#include <string> 
#include <vector> 
#include <cmath> 
#include <algorithm> 
#include <cstdlib> 
#include <ctime> 
#include <cstdio> 
#include <functional> 
#include <set> 
#include <sstream> 
#include <cctype>

using namespace std; 

#define MP make_pair
typedef unsigned long long ULL;

const long INF=1000000000;

int main(){

	int n,c,v;
	cin>>n>>c>>v;

	vector<long> s(v),t(v),y(v),m(v);
	vector< vector<long> > edge(n),dist(n),cost(n);

	//[街][所持金]=時間
	vector< vector<long> > dp(n,vector<long>(c+1,INF));

	for(int i=0;i<=c;i++) dp[0][i]=0;

	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]--;
		edge[s[i]].push_back(t[i]);
		dist[s[i]].push_back(m[i]);
		cost[s[i]].push_back(y[i]);
	}

	for(int i=0;i<n;i++){
		for(int j=0;j<=c;j++){
			if(dp[i][j]!=INF){
				for(int k=0;k<edge[i].size();k++){
					if(j+cost[i][k]<=c)
						dp[edge[i][k]][j+cost[i][k]]=min(dp[edge[i][k]][j+cost[i][k]],dp[i][j]+dist[i][k]);
				}
			}
		}
	}

	long res=dp[n-1][c];
	if(res==INF) res=-1;
	cout<<res<<endl;

	return 0;
}