#include<stdio.h>
#include<algorithm>
#include<vector>
#include<queue>
using namespace std;
int s[2100];
int t[2100];
int y[2100];
int m[2100];
vector<pair<int,pair<int,int> > > g[60];
int v[60][310];
int ijk[60][310];
int main(){
	int a,b,c;
	scanf("%d%d%d",&a,&b,&c);
	for(int i=0;i<c;i++)scanf("%d",s+i);
	for(int i=0;i<c;i++)scanf("%d",t+i);
	for(int i=0;i<c;i++)scanf("%d",y+i);
	for(int i=0;i<c;i++)scanf("%d",m+i);
	for(int i=0;i<c;i++){
		s[i]--;t[i]--;
		g[s[i]].push_back(make_pair(t[i],make_pair(y[i],m[i])));
	}
	for(int i=0;i<60;i++)for(int j=0;j<310;j++)ijk[i][j]=999999999;
	ijk[0][0]=0;
	priority_queue<pair<int,pair<int,int> > > Q;
	Q.push(make_pair(0,make_pair(0,0)));
	while(Q.size()){
		int cost=-Q.top().first;
		int at=Q.top().second.first;
		int val=Q.top().second.second;
		Q.pop();
		if(v[at][val])continue;
		v[at][val]=1;
		for(int i=0;i<g[at].size();i++){
			int to=g[at][i].first;
			int toc=val+g[at][i].second.first;
			if(toc<=b&&!v[to][toc]&&ijk[to][toc]>cost+g[at][i].second.second){
				ijk[to][toc]=cost+g[at][i].second.second;
				Q.push(make_pair(-ijk[to][toc],make_pair(to,toc)));
			}
		}
	}
	int ret=999999999;
	for(int i=0;i<=b;i++)ret=min(ret,ijk[a-1][i]);
	if(ret>99999999)printf("-1\n");
	else printf("%d\n",ret);
}