// Standard I/O
#include <iostream>
#include <sstream>
#include <cstdio>
// Standard Library
#include <cstdlib>
#include <cstring>
#include <ctime>
#include <cmath>
// Template Class
#include <complex>
#include <string>
#include <vector>
#include <list>
#include <set>
#include <map>
#include <queue>
#include <stack>
// Container Control
#include <algorithm>
#include <tuple>

using namespace std;

#define rep( i, n ) for( int i = 0; i < n; ++i )
#define irep( i, n ) for( int i = n-1; i >= 0; --i )
#define reep( i, s, n ) for ( int i = s; i < n; ++i )
#define ireep( i, n, s ) for ( int i = n-1; i >= s; --i )
#define foreach(itr, x) for( typeof(x.begin()) itr = x.begin(); itr != x.end(); ++itr)

#define mp( a, b ) make_pair( a, b )
#define pb( a ) push_back( a )
#define all( v ) v.begin(), v.end()
#define fs first
#define sc second
#define vc vector

// for visualizer.html
double SCALE = 1.0;
double OFFSET_X = 0.0;
double OFFSET_Y = 0.0;
#define LINE(x,y,a,b) cerr << "line(" << SCALE*(x) + OFFSET_X << ","	\
	<< SCALE*(y) + OFFSET_Y << ","										\
	<< SCALE*(a) + OFFSET_X << ","										\
	<< SCALE*(b) + OFFSET_Y << ")" << endl;
#define CIRCLE(x,y,r) cerr << "circle(" << SCALE*(x) + OFFSET_X << ","	\
	<< SCALE*(y) + OFFSET_Y << ","										\
	<< SCALE*(r) << ")" << endl;

typedef long long ll;
typedef complex<double> Point;

typedef pair<int, int> pii;
typedef pair<int, pii> ipii;
typedef vector<int> vi;
typedef vector<double> vd;
typedef vector< vector<int> > vii;
typedef vector< vector<double> > vdd;

typedef vector<int>::iterator vi_itr;

const int IINF = 1 << 28;
const double INF = 1e30;
const double EPS = 1e-10;
const double PI = acos(-1.0);

// Direction : L U R D
const int dx[] = { -1, 0, 1, 0};
const int dy[] = { 0, -1, 0, 1 };

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

int main()
{
	int N, C, V;
	vector<Edge> edge[50];
	int S[1500], T[1500], Y[1500], M[1500];
	
	cin >> N >> C >> V;
	rep(i, V){
		cin >> S[i];
		--S[i];
	}
	rep(i, V){
		cin >> T[i];
		--T[i];
	}
	rep(i, V){
		cin >> Y[i];
	}
	rep(i, V){
		cin >> M[i];
	}

	rep(i, V){
		edge[S[i]].pb( Edge(T[i], Y[i], M[i]) );
	}

	priority_queue< tuple<int, int, int>,
					vector< tuple<int, int, int> >,
					greater< tuple<int, int, int> > > que;
	que.push( make_tuple(0, 0, 0) );

	int ans = -1;
	bool used[50] = { false };
	while( !que.empty() ){
		int y, c, p;
		tie(y, c, p) = que.top(); que.pop();
		
		if( used[p] ) continue;
		used[p] = true;

		if( p == N-1 ){
			ans = y;
			break;
		}
		
		rep(i, edge[p].size()){
			if( c + edge[p][i].y > C ) continue;
			que.push( make_tuple(y + edge[p][i].m,
								 c + edge[p][i].y,
								 edge[p][i].t) );
		}
	}

	cout << ans << endl;
}