#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#include <cmath>
#include <bitset>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <algorithm>
#define INF 1000000000
using namespace std;
typedef long long int ll;
typedef pair<int, int> P;

struct edge{
	int from, cost, time;
};

int main()
{
	int n, c, v;
	scanf("%d", &n);
	scanf("%d", &c);
	scanf("%d", &v);
	int s[1500], t[1500], y[1500], m[1500];
	for(int i=0; i<v; i++){
		scanf("%d", &s[i]);
		s[i]--;
	}
	for(int i=0; i<v; i++){
		scanf("%d", &t[i]);
		t[i]--;
	}
	for(int i=0; i<v; i++){
		scanf("%d", &y[i]);
	}
	for(int i=0; i<v; i++){
		scanf("%d", &m[i]);
	}
	vector<edge> e[50];
	for(int i=0; i<v; i++){
		edge e1;
		e1.from=s[i];
		e1.cost=y[i];
		e1.time=m[i];
		e[t[i]].push_back(e1);
	}
	int dp[50][301];
	for(int i=0; i<n; i++){
		for(int j=0; j<=c; j++){
			dp[i][j]=INF;
		}
	}
	for(int i=0; i<n; i++){
		if(i==0){
			dp[0][0]=0;
			continue;
		}
		for(int j=0; j<e[i].size(); j++){
			int x=e[i][j].from, y0=e[i][j].cost, t0=e[i][j].time;
			for(int k=y0; k<=c; k++){
				if(dp[i][k]>dp[x][k-y0]+t0){
					dp[i][k]=dp[x][k-y0]+t0;
				}
			}
		}
	}
	int ans=INF;
	for(int k=0; k<=c; k++){
		if(ans>dp[n-1][k]) ans=dp[n-1][k];
	}
	if(ans==INF){
		printf("%d\n", -1);
	}else{
		printf("%d\n", ans);
	}
	return 0;
}