#include <bits/stdc++.h>
#define syosu(x) fixed<<setprecision(x)
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> P;
typedef pair<double,double> pdd;
typedef pair<ll,ll> pll;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef vector<long double> vd;
typedef vector<vd> vvd;
typedef vector<ll> vl;
typedef vector<vl> vvl;
typedef vector<string> vs;
typedef vector<P> vp;
typedef vector<vp> vvp;
typedef vector<pll> vpll;
typedef pair<int,P> pip;
typedef vector<pip> vip;
const int inf=1<<29;
const ll INF=1ll<<60;
const double pi=acos(-1);
const double eps=1e-18;
const ll mod=1e9+7;
const int dx[4]={-1,0,1,0},dy[4]={0,-1,0,1};

int n,t,m;
vi a,b,c,d;

int main(){
	cin>>n>>t>>m;
	a=b=c=d=vi(m);
	vvi dp(n,vi(t+1,inf));
	dp[0][0]=0;
	for(int i=0;i<m;i++) cin>>a[i];
	for(int i=0;i<m;i++) cin>>b[i];
	for(int i=0;i<m;i++) cin>>c[i];
	for(int i=0;i<m;i++) cin>>d[i];
	for(int i=0;i<n;i++) for(int j=0;j<m;j++) if(i==a[j]-1){
		int v=b[j]-1;
		for(int k=0;k<=t-c[j];k++) dp[v][k+c[j]]=min(dp[v][k+c[j]],dp[i][k]+d[j]);
	}
	int res=inf;
	for(int i=0;i<=t;i++) res=min(res,dp[n-1][i]);
	cout<<(res==inf?-1:res)<<endl;
}