using System;
using System.Linq;
using System.Text;
using System.Collections.Generic;
using STR = System.String;
using INT = System.Int32;
using DEC = System.Double;

class Program
{
    public static IO IO = new IO();
    public struct DATA
    {
        public INT T;
        public INT Y;
        public INT M;
        public DATA(INT t, INT y, INT m) { T = t; Y = y; M = m; }
        public bool SAME(DATA t) { return T == t.T && Y == t.Y; }
    }
    static void Main(string[] args)
    {
        INT n = IO.I();
        INT c = IO.I();
        INT v = IO.I();
        INT[] s = IO.I(' ');
        INT[] t = IO.I(' ');
        INT[] y = IO.I(' ');
        INT[] m = IO.I(' ');
        INT tmin = INT.MaxValue;
        INT[,] dp = new INT[n + 1, 301];
        Queue<DATA> que = new Queue<DATA>();
        Dictionary<INT, List<DATA>> data = new Dictionary<int, List<DATA>>();
        for (int i = 0; i < v; i++)
        {
            if (!data.Keys.Contains(s[i])) { data[s[i]] = new List<DATA>(); }
            data[s[i]].Add(new DATA(t[i], y[i], m[i]));
        }
        for (int i = 0; i < n + 1; i++)
        {
            for (int j = 0; j < 301; j++)
            {
                dp[i, j] = INT.MaxValue;
            }
        }
        if (data.ContainsKey(1))
        {
            for (int i = 0; i < data[1].Count(); i++)
            {
                dp[t[i], y[i]] = m[i];
                que.Enqueue(data[1][i]);
            }
        }
        while (que.Count() != 0)
        {
            DATA x = que.Dequeue();
            if ((x.T == n) && (x.Y <= c) && (tmin > x.M)) { tmin = x.M; }
            if (data.ContainsKey(x.T))
            {
                for (int i = 0; i < data[x.T].Count(); i++)
                {
                    DATA buf = data[x.T][i];
                    if ((buf.Y + x.Y) <= c && ((buf.M + x.M) < dp[buf.T, (buf.Y + x.Y)]))
                    {
                        dp[buf.T, (buf.Y + x.Y)] = (buf.M + x.M);
                        que.Enqueue(new DATA(buf.T, buf.Y + x.Y, buf.M + x.M));
                    }
                }
            }
        }
        INT o = -1;
        if (tmin != INT.MaxValue)
        {
            o = tmin;
        }
        IO.W(o);
        IO.F();
    }
}
public class IO
{
    private const int WMAX = 1000;
    private StringBuilder SB = new StringBuilder();
    private T R<T>(Func<STR, T> f) { return f(Console.ReadLine()); }
    private T[] R<T>(Func<STR, T> f, char c) { return S().Split(c).Select(f).ToArray(); }
    private T[] R<T>(Func<STR, T> f, INT l) { T[] r = new T[l]; for (INT i = 0; i < l; i++) { r[i] = R(f); } return r; }
    private T[][] R<T>(Func<STR, T> f, INT l, char c) { T[][] r = new T[l][]; for (INT i = 0; i < l; i++) { r[i] = R<T>(f, c); } return r; }
    private void W<T>(Func<T, STR> f, T v, bool lf = true) { SB.Append(f(v)); if (lf) { SB.Append('\n'); } if (SB.Length >= WMAX) { F(); } }
    public STR S() { return R(s => s); }
    public STR[] S(char c) { return R(s => s, c); }
    public STR[] S(INT l) { return R(s => s, l); }
    public STR[][] S(INT l, char c) { return R(s => s, l, c); }
    public INT I() { return R(INT.Parse); }
    public INT[] I(char c) { return R(INT.Parse, c); }
    public INT[] I(INT l) { return R(INT.Parse, l); }
    public INT[][] I(INT l, char c) { return R(INT.Parse, l, c); }
    public DEC D() { return R(DEC.Parse); }
    public DEC[] D(char c) { return R(DEC.Parse, c); }
    public DEC[] D(INT l) { return R(DEC.Parse, l); }
    public DEC[][] D(INT l, char c) { return R(DEC.Parse, l, c); }
    public void W(object s, bool lf = true) { W(v => v.ToString(), s, lf); }
    public void F() { Console.Write(SB); SB.Length = 0; }
}