#include <bits/stdc++.h>
using namespace std;
#pragma GCC optimize("Ofast")
#pragma GCC optimize("unroll-loops")
typedef long long ll;
const ll INF = 1e15;
const ll MOD = 1e9 + 7;
const ll MAXN = 3e3 + 5;
const ll LOG = 31;
#define vll vector <ll>
#define pll pair <ll, ll>
#define fi first
#define se second
#define endl '\n'

ll n, m, k, t;
pair <pll, pll> a [MAXN];
ll dp [MAXN][500];

void solve(){
    cin >> n >> m >> k >> t;
    for(ll i = 1; i <= k; i++){
        cin >> a[i].fi.fi >> a[i].fi.se >> a[i].se.fi >> a[i].se.se;
    }
    t = min(t, n+m-2);
    a[0].fi = {1, 1};
    a[k+1].fi = {n, m};
    for(ll i = 0; i <= k+1; i++){
        for(ll j = 0; j <= 2*t; j++){
            if(i == 0){
                if(j < t) dp[i][j] = INF;
                continue;
            }
            dp[i][j] = INF;
            for(ll u = 0; u < i; u++){
                ll dis = abs(a[u].fi.fi - a[i].fi.fi) + abs(a[u].fi.se - a[i].fi.se);
                // cout << i << " " << u << " << " << dis << endl;
                if(dis <= j) dp[i][j] = min(dp[i][j], dp[u][j-dis]);
            }
        }
        for(ll j = 2*t; j >= 0; j--){
            if(a[i].se.fi == 0) break;
            ll cnt = j+a[i].se.fi-1;
            dp[i][j] = min(dp[i][j], dp[i][min(2*t, cnt)] + a[i].se.se);
        }
        // for(ll j = 0; j <= 2*t; j++){
        //     cout << dp[i][j] << " ";
        // }cout << endl;
    }
    ll ans = dp[k+1][2*t];
    if(ans == INF) cout << -1 << endl;
    else cout << ans << endl;
}

int main(){
    ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
    // ll t; cin >> t;
    // while(t--){
        solve();
    // }
}