#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_TOWN_MAX		50										// 最大町数
#define D_MONEY_MAX		300										// 最大金額
#define D_ROAD_MAX		1500									// 最大道数

// 内部構造体 - 道情報
typedef struct Road {
	int miFNo;													// 町 - 元
	int miTNo;													// 町 - 先
	int miCost;													// コスト
	int miTime;													// 時間
} Road;

// 内部変数
static FILE *szpFpI;											// 入力
static int siTCnt;												// 町数
static int siMoney;												// 所持金
static Road sz1Road[D_ROAD_MAX + 5];							// 道
static int siRCnt;												// 道数
static int si2Sum[D_TOWN_MAX + 5][D_MONEY_MAX + 5];				// 合計時間[町][コスト]

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
#endif

// ソート関数 - 町(元)昇順
int
fSortFnc(
	const void *pzpVal1			// <I> 値１
	, const void *pzpVal2		// <I> 値２
)
{
	Road *lzpVal1 = (Road *)pzpVal1;
	Road *lzpVal2 = (Road *)pzpVal2;

	// 町(元)昇順
	if (lzpVal1->miFNo > lzpVal2->miFNo) {
		return(1);
	}
	else if (lzpVal1->miFNo < lzpVal2->miFNo) {
		return(-1);
	}

	return 0;
}

// 実行メイン
int
fMain(
	int piTNo					// <I> テスト番号 1～
)
{
	int i, j, k;
	char lc1Buf[1024], lc1Out[1024];

	// データ - 初期化
	memset(si2Sum, -1, sizeof(si2Sum));							// 合計時間[町][コスト]

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", piTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", piTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 町数 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siTCnt);

	// 所持金 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siMoney);

	// 道数 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siRCnt);

	// 道 - 町 - 元 - 取得
	for (i = 0; i < siRCnt; i++) {
		fscanf(szpFpI, "%d", &sz1Road[i].miFNo);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// 道 - 町 - 先 - 取得
	for (i = 0; i < siRCnt; i++) {
		fscanf(szpFpI, "%d", &sz1Road[i].miTNo);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// 道 - コスト - 取得
	for (i = 0; i < siRCnt; i++) {
		fscanf(szpFpI, "%d", &sz1Road[i].miCost);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// 道 - 時間 - 取得
	for (i = 0; i < siRCnt; i++) {
		fscanf(szpFpI, "%d", &sz1Road[i].miTime);
	}
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);

	// 道 - ソート
	qsort(sz1Road, siRCnt, sizeof(Road), fSortFnc);

	// 合計時間[町][コスト] - 初期化
	si2Sum[1][0] = 0;

	// 合計時間[町][コスト] - セット
	int liRNo = 0;
	sz1Road[siRCnt].miFNo = INT_MAX;
	for (i = 1; i < siTCnt; i++) {

		// 対象の道
		if (i > sz1Road[liRNo].miFNo) {
			continue;
		}
		int liRSNo = liRNo;
		int liRENo;
		while (i == sz1Road[liRNo].miFNo) {
			liRENo = liRNo;
			liRNo++;
		}

		// 金額毎でループ
		for (j = 0; j <= siMoney; j++) {
			if (si2Sum[i][j] < 0) {
				continue;
			}

			// 各道を移動
			for (k = liRSNo; k <= liRENo; k++) {

				// 金額
				int liCost = j + sz1Road[k].miCost;
				if (liCost > siMoney) {
					continue;
				}

				// 行き先
				int liTNo = sz1Road[k].miTNo;

				// 時間
				int liTime = si2Sum[i][j] + sz1Road[k].miTime;
				if (si2Sum[liTNo][liCost] < 0 || si2Sum[liTNo][liCost] > liTime) {
					si2Sum[liTNo][liCost] = liTime;
				}
			}

		}
	}

	// 最小値 - 取得
	int liMin = INT_MAX;
	for (i = 0; i <= siMoney; i++) {
		if (si2Sum[siTCnt][i] < 0) {
			continue;
		}

		// 最小値 - 更新
		if (liMin > si2Sum[siTCnt][i]) {
			liMin = si2Sum[siTCnt][i];
		}
	}
	if (liMin == INT_MAX) {
		liMin = -1;
	}

	// 結果 - セット
	sprintf(lc1Out, "%d\n", liMin);

	// 結果 - 表示
#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, lc1Out)) {
		siRes = -1;
	}
#else
	printf("%s", lc1Out);
#endif

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", piTNo);
	}
	else {
		printf("NG %d\n", piTNo);
	}
#endif

	return 0;
}

int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		fMain(i);
	}
#else
	fMain(0);
#endif

	return 0;
}