#include <bits/stdc++.h>
using namespace std;
using pii = pair<int, int>;
using tp = tuple<int, int, int>;
const int INF = 987654231;

int s[1501], t[1501], y[1501], m[1501];
vector<tp> adj[51];
int dp[51][301];

int main() {
    #ifdef DEBUG
        freopen("in.txt", "r", stdin);
    #endif
    ios_base::sync_with_stdio(false); cin.tie(nullptr); cout.tie(nullptr);

    int n, c, v; cin >> n >> c >> v;
    for (int i = 0; i < v; i++) cin >> s[i];
    for (int i = 0; i < v; i++) cin >> t[i];
    for (int i = 0; i < v; i++) cin >> y[i];
    for (int i = 0; i < v; i++) cin >> m[i];


    for (int i = 0; i < v; i++) {
        adj[s[i]].emplace_back(t[i], y[i], m[i]);  // start, end, cost, time
    }

    for (int i = 1; i <= n; i++) {
        for (int j = 0; j <= c; j++) {
            dp[i][j] = INF;
        }
    }
    dp[1][c] = 0;

    for (int i = 1; i <= n; i++) {
        for (int j = 0; j <= c; j++) {  // current remain

            for (auto [nx, ncost, ntime] : adj[i]) {
                if (ncost > j) continue;
                dp[nx][j - ncost] = min(dp[nx][j - ncost], dp[i][j] + ntime);
            }

        }
    }

    int ans = INF;
    for (int i = 0; i <= c; i++) {
        ans = min(ans, dp[n][i]);
    }
    cout << (ans == INF ? -1 : ans) << '\n';

    return 0;
}