/* -*- coding: utf-8 -*-
 *
 * 2366.cc:  No.2366 登校 - yukicoder
 */

#include<cstdio>
#include<algorithm>

using namespace std;

/* constant */

const long long LINF = 1LL << 62;

/* typedef */

typedef long long ll;

/* global variables */

/* subroutines */

/* main */

int main() {
  int n, m, k, t;
  scanf("%d%d%d%d", &n, &m, &k, &t);

  int r = (n - 1) + (m - 1) - t;
  if (r <= 0) { puts("0"); return 0; }

  ll minx = LINF;
  for (int i = 0; i < k; i++) {
    int a, b, c, d;
    scanf("%d%d%d%d", &a, &b, &c, &d);
    c--;
    if (c > 0) {
      ll x = (ll)(r + c - 1) / c * d;
      minx = min(minx, x);
    }
  }

  printf("%lld\n", (minx < LINF) ? minx : -1);
  return 0;
}