N = gets.to_i
C = gets.to_i
V = gets.to_i
S = gets.split.map(&:to_i)
T = gets.split.map(&:to_i)
Y = gets.split.map(&:to_i)
M = gets.split.map(&:to_i)
e = S.zip(T, Y, M).group_by {|(s, t, y, m)| s}
dp = Array.new(N + 1) { Array.new(C + 1, Float::INFINITY)}
dp[1][C] = 0
[*1..(N - 1)].product([*1..C]).each do |(s, c)|
  e[s].select {|_, t, y, m| y <= c}.each do |(_, t, y, m)|
    dp[t][c - y] = [dp[t][c - y], dp[s][c] + m].min
  end
end
ans = if dp[N].min < Float::INFINITY
        dp[N].min
      else
        -1
      end
puts ans