#include <bits/stdc++.h>

using namespace std;

struct edge {
  int t, y, m;
  edge(void) {}
  edge(int t, int y, int m) : t(t), y(y), m(m) {}
};

int n, c, v;
int s[1510], t[1510], y[1510], m[1510];
vector<edge> G[60];
int dp[60][310];

int main(void) {
  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++) {
    G[s[i]].push_back(edge(t[i], y[i], m[i]));
  }
  fill(dp[0], dp[60], 1 << 30);
  dp[1][c] = 0;
  for (int i = 1; i <= n; i++) {
    for (int j = 0; j <= c; j++) {
      for (int k = 0; k < G[i].size(); k++) {
        edge e = G[i][k];
        if (j < e.y) continue;
        dp[e.t][j - e.y] = min(dp[e.t][j - e.y], dp[i][j] + e.m);
      }
    }
  }

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

  return 0;
}