//No.1 道のショートカット

//メモ：
//  有効グラフの閉路はない
//  無効グラフの閉路はある

#include <iostream>
#include <vector>
#include <algorithm>
#include <cstring>
#include <climits>
#define N_MAX 50
#define V_MAX 1500
using namespace std;

typedef struct
{
	int S;
	int T;
	int Y;
	int M;
} Point;

int N, C, V;
int Si[N_MAX];
Point P[V_MAX];

bool compP(const Point& x, const Point& y)
{
	return x.S == y.S ? x.T < y.T : x.S < y.S;
}

int solve(int p, int c, int m)
{
	static int ans = INT_MAX;

	//時間オーバー、NOT最適解排除
	if (c > C || m >= ans)
		return INT_MAX;

	//ゴール
	if (p == N - 1)
	{
		return (ans = m);
	}

	for (int i = Si[p]; P[i].S == p + 1 && i < V; ++i)
	{
		solve(P[i].T - 1, c + P[i].Y, m + P[i].M);
	}

	return ans == INT_MAX ? -1 : ans;
}

int main()
{
	memset(Si, 0, sizeof(int)*N_MAX);

	//N,C,V取得
	cin >> N >> C >> V;

	//S,T,Y,M取得
	for (int i = 0; i < V; ++i)
		cin >> P[i].S;
	for (int i = 0; i < V; ++i)
		cin >> P[i].T;
	for (int i = 0; i < V; ++i)
		cin >> P[i].Y;
	for (int i = 0; i < V; ++i)
		cin >> P[i].M;

	//ソート
	sort(P, P + V, compP);

	//各町の開始インデックスを調べておく
	for (int i = 1, n = 2; i < V; ++i)
		if (n == P[i].S)
		{
			Si[n - 1] = i;
			++n;
		}
		else if (n < P[i].S)
		{
			++n;
			--i;
		}

	//出力
	cout << solve(0, 0, 0) << endl;

	return 0;
}