#include <iostream>
#include <map>
#include <set>
#include <list>
#include <cmath>
#include <queue>
#include <stack>
#include <cstdio>
#include <string>
#include <vector>
#include <complex>
#include <cstdlib>
#include <cstring>
#include <numeric>
#include <sstream>
#include <algorithm>
#include <functional>
#include <limits.h>
#include <bitset>

#include <tuple>
#include <unordered_map>

#define mp       make_pair
#define pb       push_back
#define rep(i,n) for(int i=0;i<(n);i++)

using namespace std;

typedef    long long          ll;
typedef    unsigned long long ull;
typedef    pair<int,int>      pii;

const int INF=1<<29;
const double EPS=1e-9;

const int dx[]={1,0,-1,0},dy[]={0,-1,0,1};
int N;
int C;
int V;
int S[55];
int T[55];
int Y[55];
int M[55];
int dp[55][330];
struct State{
  int tar;
  int mcost;
  int tcost;
  State(int _tar, int _mcost, int _tcost){
    tar = _tar;
    mcost = _mcost;
    tcost = _tcost;
  }
};
vector<State> graph[55];
int memo(int pos, int money){
  // cout << pos << " " << money << endl;
  if (pos == N){

    return 0;
  }
  if (dp[pos][money] < INF){
    return dp[pos][money];
  }
  int res = INF;
  for (int i = 0; i < graph[pos].size(); i++){
    State p = graph[pos][i];
    if (money - p.mcost >= 0){
      res = min(res, memo(p.tar, money - p.mcost) + p.tcost);
    }
  }
  // cout << "res = " << res << endl;
  return dp[pos][money] = res;
}
int main(){
  cin >> N;
  cin >> C;
  cin >> 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++){
    graph[S[i]].push_back(State(T[i], Y[i], M[i]));
    graph[T[i]].push_back(State(S[i], Y[i], M[i]));
  }

  for (int i = 0; i < 55; i++){
    for (int j = 0; j < 330; j++){
      dp[i][j] = INF;
    }
  }
  int res = memo(1, C);
  if (res != INF){
    cout << res << endl;
  }else{
    cout << - 1 << endl;
  }

  return 0;
}