#include <bits/stdc++.h>
#include "bits/stdc++.h"
#include <iostream>
#include <iomanip>
#include <vector>
#include <algorithm>
#include <string>
#include <sstream>
#include <cmath>
#include <stack>
#include <queue>
#include <cctype>
#include <stdio.h>
#include <map>
#include <unordered_map>
#include <string.h>
#include <utility>

typedef long long ll;

#define rep(i,n) for(ll i=0;i<(ll)(n);i++)
using namespace std;

typedef pair<int, int> P;

int start[1510];
int to[1510];
int yen[1510];
int zikan[1510];
int n,c,v;


struct edge{
	int to;int yen; int zikan;
};
edge e;

vector<edge>  G[51];

int ans = 100000000;

void dfs(int start, int okane, int kyori){

		if(okane <0){
			return;
		}
		if(kyori >= ans){
			return;
		}
		if(start == n){
			/*cout<<kynori<<endl;*/

			ans = min(ans,kyori);
		}


		for(int j=0; j<G[start].size(); j++){
			e = G[start][j];

			if(okane -e.yen >=0){
				dfs(e.to, okane-e.yen, kyori+e.zikan);
			}
		}

}



int main() {

	cin>>n>>c>>v;

	int s,t,y,m;
	for(int i=0; i<v; i++){
		cin>>s;
		start[i] =s;
	}
	for(int i=0; i<v; i++){
		cin>>t;
		to[i] = t;
	}
	for(int i=0; i<v; i++){
		cin>>y;
		yen[i] =y;
	}
	for(int i=0; i<v; i++){
		cin>>m;
		zikan[i] =m;
	}


	for(int i=0; i<v; i++){

		e.to = to[i];
		e.yen = yen[i];
		e.zikan = zikan[i];

		G[start[i]].push_back(e);
	}

	dfs(1,c,0);

	if(ans ==100000000){
		cout<<-1<<endl;
	}else {
		cout<<ans<<endl;
	}



	return 0;
}