#include <algorithm>
#include <iostream>
#include <cstdio>
#include <map>
#include <numeric>
#include <cmath>
#include <set>
#include <sstream>
#include <string>
#include <vector>
#include <queue>
#include <complex>
#include <string.h>
using namespace std;

#define endl '\n'
#define all(v) (v).begin(), (v).end()
#define uniq(v) (v).erase(unique((v).begin(), (v).end()), (v).end())

typedef long long ll;
typedef pair<int, int> P;
typedef unsigned int uint;

const int inf = 1000000009;

struct edge {
    int to, cost, dis;
};

vector<edge> g[55];
map<P, int> memo;

int dfs(int k, int c, int n) {
    if (k == n) return 0;
    P ps = P(k, c);
    if (memo.count(ps) == 0) {
	int res = inf;
	for (int i = 0; i < g[k].size(); i++) {
	    edge e = g[k][i];
	    if (c >= e.cost)
		res = min(res, e.dis + dfs(e.to, c-e.cost, n));
	}
	memo[ps] = res;
    }
    return memo[ps];
}

int main() {
    int n, c, v;
    scanf("%d%d%d", &n, &c, &v);
    int s[v], t[v], y[v], m[v];
    for (int i = 0; i < v; i++) scanf("%d", &s[i]);
    for (int i = 0; i < v; i++) scanf("%d", &t[i]);
    for (int i = 0; i < v; i++) scanf("%d", &y[i]);
    for (int i = 0; i < v; i++) scanf("%d", &m[i]);

    for (int i = 0; i < v; i++) {
	g[s[i]].push_back(edge{t[i], y[i], m[i]});
    }

    int res = dfs(1, c, n);
    printf("%d\n", res < inf ? res : -1);
}