package main

import (
	"bufio"
	"fmt"
	"os"
	"strconv"
)

var sc = bufio.NewScanner(os.Stdin)

func Scanner() string {
	sc.Scan()
	return sc.Text()
}

func main() {
	buf := make([]byte, 0)
	sc.Buffer(buf, 1000000007)
	sc.Split(bufio.ScanWords)
	inf := 1145141919810
	n, _ := strconv.Atoi(Scanner())
	c, _ := strconv.Atoi(Scanner())
	v, _ := strconv.Atoi(Scanner())
	s := make([]int, v)
	t := make([]int, v)
	y := make([]int, v)
	m := make([]int, v)
	for i := 0; i < v; i++ {
		s[i], _ = strconv.Atoi(Scanner())
	}
	for i := 0; i < v; i++ {
		t[i], _ = strconv.Atoi(Scanner())
	}
	for i := 0; i < v; i++ {
		y[i], _ = strconv.Atoi(Scanner())
	}
	for i := 0; i < v; i++ {
		m[i], _ = strconv.Atoi(Scanner())
	}

	adj := make([][]int, n)
	for i := 0; i < v; i++ {
		adj[s[i]-1] = append(adj[s[i]-1], i)
	}

	dp := make([][]int, n)
	for i := 0; i < n; i++ {
		dp[i] = make([]int, c+1)
		for j := 0; j <= c; j++ {
			dp[i][j] = inf
		}
	}

	dp[0][c] = 0
	for i := 0; i < n; i++ {
		for j := c; j >= 0; j-- {
			if dp[i][j] == inf {
				continue
			}

			for _, k := range adj[i] {
				if j-y[k] < 0 {
					continue
				}
				dp[t[k]-1][j-y[k]] = min(dp[t[k]-1][j-y[k]], dp[i][j]+m[k])
			}
		}
	}
	ans := inf
	for i := 0; i <= c; i++ {
		ans = min(ans, dp[n-1][i])
	}
	if ans == inf {
		ans = -1
	}
	fmt.Println(ans)
}