#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int,int> pii;
#define pb push_back
#define mp make_pair
#define rep(i,n) for(int i=0;i<(n);++i)
constexpr int mod=1000000007;
constexpr int mod1=998244353;
vector<int> dx={0,-1,0,1},dy={1,0,-1,0};

int inf=1000000000;

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

int main(){
	cin.tie(0);
	ios::sync_with_stdio(false);
	int n,c,v;cin >> n >> c >> v;
	vector<vector<edge>> g(n,vector<edge>());
	vector<int> s(v),t(v),y(v),m(v);
	rep(i,v) cin >> s.at(i);
	rep(i,v) cin >> t.at(i);
	rep(i,v) cin >> y.at(i);
	rep(i,v) cin >> m.at(i);
	rep(i,v){
		edge e;
		e.to=t.at(i)-1;
		e.cost=y.at(i);
		e.m=m.at(i);
		g.at(s.at(i)-1).pb(e);
	}
	vector<vector<int>> dp(n+1,vector<int>(c+1,inf));
	dp[0][0]=0;
	rep(i,n){
		rep(j,c){
			if(dp[i][j]==inf) continue;
			rep(k,g.at(i).size()){
				if(j+g.at(i).at(k).cost<=c) dp[g.at(i).at(k).to][j+g.at(i).at(k).cost]=min(dp[g.at(i).at(k).to][j+g.at(i).at(k).cost],dp[i][j]+g.at(i).at(k).m);
			}
		}
	}
	int ans=inf;
	rep(i,c+1) ans=min(ans,dp[n-1][i]);
	if(ans==inf) ans=-1;
	cout << ans << endl;
}