#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint998244353;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000001

int main(){
	
	int N,C,V;
	cin>>N>>C>>V;
	
	vector<int> S(V),T(V),Y(V),M(V);
	rep(i,V)cin>>S[i];
	rep(i,V)cin>>T[i];
	rep(i,V)cin>>Y[i];
	rep(i,V)cin>>M[i];
	
	mcf_graph<int,int> G(N*(C+1));
	
	rep(i,V){
		rep(j,C+1){
			if(j + Y[i] <= C)G.add_edge((S[i]-1)*(C+1) + j, (T[i]-1)*(C+1) + j + Y[i], 1, M[i]);
		}
	}
	rep(j,C){
		G.add_edge(j,j+1,1,0);
	}
	
	auto ret = G.flow(0,(N-1)*(C+1)+C, 1);
	int ans = ret.second;
	if(ret.first==0)ans = -1;
	
	cout<<ans<<endl;
	
	return 0;
}