#include <bits/stdc++.h>

using namespace std;

typedef long long ll;

struct Edge {
  int to;
  int t_cost;
  int m_cost;
  Edge(int to, int t_cost, int m_cost) : to(to), t_cost(t_cost), m_cost(m_cost) {}  
};

typedef vector<vector<Edge> > AdjList; //隣接リスト
typedef vector<Edge>::iterator Edge_it;

const int INF = 10000000;

AdjList graph;

int main() {
    cin.tie(0);
    ios::sync_with_stdio(false);
    int n, v, c, s[1500], t[1500], y[1500], m[1500];
    cin >> n >> c >> v;
    graph = AdjList(n);
    for(int i = 0; i < v; i++) {
        cin >> s[i];
        s[i]--;
    }
    for(int i = 0; i < v; i++) {
        cin >> t[i];
        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++) {
        graph[s[i]].emplace_back(t[i], m[i], y[i]);
    }
    int dp[50][301] = {};
    for(int i = 1; i < n; i++) {
        for(int j = 0; j <= c; j++) {
            dp[i][j] = INF; 
        }
    }
    for(int i = 0; i < n; i++) {
        for(int j = 0; j <= c; j++) {
            for(auto it = graph[i].begin(), e = graph[i].end(); it != e; ++it) {
                if ((*it).m_cost > j) continue;
                dp[(*it).to][j] = min(dp[(*it).to][j], dp[i][j - (*it).m_cost] + (*it).t_cost);
            }
        }
    }
    if (dp[n - 1][c] == INF) cout << -1 <<"\n";
    else cout << dp[n - 1][c] << "\n";
    return 0;
    }