//#pragma GCC optimize("O3", "unroll-loops")
//#pragma GCC target("avx2", "bmi", "bmi2", "lzcnt", "popcnt")
#include <bits/stdc++.h>
#define ldb long double
//#define double ldb
#define db double
#define unomap unordered_map
#define unoset unordered_set
#define endl '\n'
#define str string
#define strstr stringstream
#define sz(a) (int)a.size()
#define ll long long
//#define int ll
#define pii pair <int, int>
#define pll pair <ll, ll>
#define Unique(a) a.resize(unique(all(a)) - a.begin())
#define ull unsigned ll
#define fir first
#define sec second
#define idc cin.ignore()
#define lb lower_bound
#define ub upper_bound
#define all(s) s.begin(), s.end()
#define rev reverse
#define gcd __gcd
#define pushb push_back
#define popb pop_back
#define pushf push_front
#define popf pop_front
#define mul2x(a, x) a << x
#define div2x(a, x) a >> x
#define lcm(a, b) (a / __gcd(a, b) * b)
#define log_base(x, base) log(x) / log(base)
#define debug cerr << "No errors!"; exit(0);
#define forw(i, a, b) for (int i = a; i <= b; ++i)
#define forw2(i, a, b) for (ll i = a; i <= b; ++i)
#define fors(i, a, b) for (int i = a; i >= b; --i)
#define fors2(i, a, b) for (ll i = a; i >= b; --i)
#define pqueue priority_queue
#define sqrt sqrtl
#define i128 __int128
#define popcount __builtin_popcountll
#define BIT(x, i) (((x) >> (i)) & 1)
#define MASK(x) ((1LL) << (x))
#define want_digit(x) cout << fixed << setprecision(x);
#define excuting_time 1000.0 * clock() / CLOCKS_PER_SEC
#define mapa make_pair
using namespace std;
const int MOD = 1e9 + 7; // 998244353
const int inf = 1e9;
const ll INF = 1e18; // MASK(63) - 1
const int N = 250;
mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
ll random(const ll &L, const ll &R) {
return uniform_int_distribution<ll> (L, R) (rng);
}
class SegmentTree {
private:
int n;
vector <int> v;
void update(int id, int l, int r, int pos, int val) {
if (l > pos || pos > r) return;
if (l == r) {
v[id] = min(v[id], val);
return;
}
int mid = (l + r) >> 1;
update(id << 1, l, mid, pos, val);
update(id << 1 | 1, mid + 1, r, pos, val);
v[id] = min(v[id << 1], v[id << 1 | 1]);
}
int get(int id, int l, int r, int fin) {
if (l > fin) return inf;
if (r <= fin) return v[id];
int mid = (l + r) >> 1;
return min(get(id << 1, l, mid, fin), get(id << 1 | 1, mid + 1, r, fin));
}
public:
SegmentTree (int _n) {
n = _n;
v.resize(n * 4 + 1, inf);
}
void update(int pos, int val) {
update(1, 1, n, pos, val);
}
int get(int fin) {
return get(1, 1, n, fin);
}
};
struct Rect {
int x1, y1, x2, y2, P;
bool operator < (const Rect& other) const {
return P < other.P;
}
};
vector <Rect> v;
int L, W, a[N + 5][N + 5], n, k, sum[N + 5][N + 5];
int get(int x, int y, int u, int v) {
return sum[u][v] - sum[x - 1][v] - sum[u][y - 1] + sum[x - 1][y - 1];
}
int cook() {
int ans = inf;
int m = sz(v);
SegmentTree treex(L + 1);
forw (i, 0, m - 1) {
treex.update(v[i].x2, v[i].P);
}
forw (i, 0, m - 1) {
ans = min(ans, v[i].P + treex.get(v[i].x1 - 1));
}
SegmentTree treey(W + 1);
forw (i, 0, m - 1) {
treey.update(v[i].y2, v[i].P);
}
forw (i, 0, m - 1) {
ans = min(ans, v[i].P + treey.get(v[i].y1 - 1));
}
return ans;
}
void solve() {
cin >> L >> W >> n >> k;
forw (i, 1, n) {
int x, y;
cin >> x >> y;
++a[x][y];
}
forw (i, 1, L) forw (j, 1, W)
sum[i][j] = sum[i - 1][j] + sum[i][j - 1] - sum[i - 1][j - 1] + a[i][j];
forw (x1, 1, L) forw (x2, x1, L) {
int l = 1;
forw (r, 1, W) {
while (l <= r && get(x1, l, x2, r) > k) ++l;
if (l <= r && get(x1, l, x2, r) == k) {
int y1 = l, y2 = r;
int P = 2 * (x2 - x1 + 1 + y2 - y1 + 1);
v.push_back({x1, y1, x2, y2, P});
}
}
}
int res = cook();
if (res >= inf) {
cout << "NO\n";
}
else cout << res << endl;
}
signed main() {
ios::sync_with_stdio(false), cin.tie(nullptr);
srand(time(NULL));
#define name "test"
/*
if (fopen(name".INP", "r")) {
freopen(name".INP", "r", stdin);
freopen(name".OUT", "w", stdout);
}
*/
bool testCase = false;
int numTest = 1;
// cin >> numTest;
forw (i, 1, numTest) {
if (testCase) cout << "Case " << i << ": ";
solve();
}
return 0;
}
/*
/\__/\
(=^.^= )
(") (")_/
*/
Ly8jcHJhZ21hIEdDQyBvcHRpbWl6ZSgiTzMiLCAidW5yb2xsLWxvb3BzIikKLy8jcHJhZ21hIEdDQyB0YXJnZXQoImF2eDIiLCAiYm1pIiwgImJtaTIiLCAibHpjbnQiLCAicG9wY250IikKCiNpbmNsdWRlIDxiaXRzL3N0ZGMrKy5oPgojZGVmaW5lIGxkYiBsb25nIGRvdWJsZQovLyNkZWZpbmUgZG91YmxlIGxkYgojZGVmaW5lIGRiIGRvdWJsZQojZGVmaW5lIHVub21hcCB1bm9yZGVyZWRfbWFwCiNkZWZpbmUgdW5vc2V0IHVub3JkZXJlZF9zZXQKI2RlZmluZSBlbmRsICdcbicKI2RlZmluZSBzdHIgc3RyaW5nCiNkZWZpbmUgc3Ryc3RyIHN0cmluZ3N0cmVhbQojZGVmaW5lIHN6KGEpIChpbnQpYS5zaXplKCkKI2RlZmluZSBsbCBsb25nIGxvbmcKLy8jZGVmaW5lIGludCBsbAojZGVmaW5lIHBpaSBwYWlyIDxpbnQsIGludD4KI2RlZmluZSBwbGwgcGFpciA8bGwsIGxsPgojZGVmaW5lIFVuaXF1ZShhKSBhLnJlc2l6ZSh1bmlxdWUoYWxsKGEpKSAtIGEuYmVnaW4oKSkKI2RlZmluZSB1bGwgdW5zaWduZWQgbGwKI2RlZmluZSBmaXIgZmlyc3QKI2RlZmluZSBzZWMgc2Vjb25kCiNkZWZpbmUgaWRjIGNpbi5pZ25vcmUoKQojZGVmaW5lIGxiIGxvd2VyX2JvdW5kCiNkZWZpbmUgdWIgdXBwZXJfYm91bmQKI2RlZmluZSBhbGwocykgcy5iZWdpbigpLCBzLmVuZCgpCiNkZWZpbmUgcmV2IHJldmVyc2UKI2RlZmluZSBnY2QgX19nY2QKI2RlZmluZSBwdXNoYiBwdXNoX2JhY2sKI2RlZmluZSBwb3BiIHBvcF9iYWNrCiNkZWZpbmUgcHVzaGYgcHVzaF9mcm9udAojZGVmaW5lIHBvcGYgcG9wX2Zyb250CiNkZWZpbmUgbXVsMngoYSwgeCkgYSA8PCB4CiNkZWZpbmUgZGl2MngoYSwgeCkgYSA+PiB4CiNkZWZpbmUgbGNtKGEsIGIpIChhIC8gX19nY2QoYSwgYikgKiBiKQojZGVmaW5lIGxvZ19iYXNlKHgsIGJhc2UpIGxvZyh4KSAvIGxvZyhiYXNlKQojZGVmaW5lIGRlYnVnIGNlcnIgPDwgIk5vIGVycm9ycyEiOyBleGl0KDApOwojZGVmaW5lIGZvcncoaSwgYSwgYikgZm9yIChpbnQgaSA9IGE7IGkgPD0gYjsgKytpKQojZGVmaW5lIGZvcncyKGksIGEsIGIpIGZvciAobGwgaSA9IGE7IGkgPD0gYjsgKytpKQojZGVmaW5lIGZvcnMoaSwgYSwgYikgZm9yIChpbnQgaSA9IGE7IGkgPj0gYjsgLS1pKQojZGVmaW5lIGZvcnMyKGksIGEsIGIpIGZvciAobGwgaSA9IGE7IGkgPj0gYjsgLS1pKQojZGVmaW5lIHBxdWV1ZSBwcmlvcml0eV9xdWV1ZQojZGVmaW5lIHNxcnQgc3FydGwKI2RlZmluZSBpMTI4IF9faW50MTI4CiNkZWZpbmUgcG9wY291bnQgX19idWlsdGluX3BvcGNvdW50bGwKI2RlZmluZSBCSVQoeCwgaSkgKCgoeCkgPj4gKGkpKSAmIDEpCiNkZWZpbmUgTUFTSyh4KSAoKDFMTCkgPDwgKHgpKQojZGVmaW5lIHdhbnRfZGlnaXQoeCkgY291dCA8PCBmaXhlZCA8PCBzZXRwcmVjaXNpb24oeCk7CiNkZWZpbmUgZXhjdXRpbmdfdGltZSAxMDAwLjAgKiBjbG9jaygpIC8gQ0xPQ0tTX1BFUl9TRUMKI2RlZmluZSBtYXBhIG1ha2VfcGFpcgp1c2luZyBuYW1lc3BhY2Ugc3RkOwpjb25zdCBpbnQgTU9EID0gMWU5ICsgNzsgLy8gOTk4MjQ0MzUzCmNvbnN0IGludCBpbmYgPSAxZTk7CmNvbnN0IGxsIElORiA9IDFlMTg7IC8vIE1BU0soNjMpIC0gMQpjb25zdCBpbnQgTiA9IDI1MDsKCm10MTk5MzdfNjQgcm5nKGNocm9ubzo6c3RlYWR5X2Nsb2NrOjpub3coKS50aW1lX3NpbmNlX2Vwb2NoKCkuY291bnQoKSk7CmxsIHJhbmRvbShjb25zdCBsbCAmTCwgY29uc3QgbGwgJlIpIHsKICAgIHJldHVybiB1bmlmb3JtX2ludF9kaXN0cmlidXRpb248bGw+IChMLCBSKSAocm5nKTsKfQoKY2xhc3MgU2VnbWVudFRyZWUgewpwcml2YXRlOgogICAgaW50IG47CiAgICB2ZWN0b3IgPGludD4gdjsKICAgIHZvaWQgdXBkYXRlKGludCBpZCwgaW50IGwsIGludCByLCBpbnQgcG9zLCBpbnQgdmFsKSB7CiAgICAgICAgaWYgKGwgPiBwb3MgfHwgcG9zID4gcikgcmV0dXJuOwogICAgICAgIGlmIChsID09IHIpIHsKICAgICAgICAgICAgdltpZF0gPSBtaW4odltpZF0sIHZhbCk7CiAgICAgICAgICAgIHJldHVybjsKICAgICAgICB9CiAgICAgICAgaW50IG1pZCA9IChsICsgcikgPj4gMTsKICAgICAgICB1cGRhdGUoaWQgPDwgMSwgbCwgbWlkLCBwb3MsIHZhbCk7CiAgICAgICAgdXBkYXRlKGlkIDw8IDEgfCAxLCBtaWQgKyAxLCByLCBwb3MsIHZhbCk7CiAgICAgICAgdltpZF0gPSBtaW4odltpZCA8PCAxXSwgdltpZCA8PCAxIHwgMV0pOwogICAgfQoKICAgIGludCBnZXQoaW50IGlkLCBpbnQgbCwgaW50IHIsIGludCBmaW4pIHsKICAgICAgICBpZiAobCA+IGZpbikgcmV0dXJuIGluZjsKICAgICAgICBpZiAociA8PSBmaW4pIHJldHVybiB2W2lkXTsKICAgICAgICBpbnQgbWlkID0gKGwgKyByKSA+PiAxOwogICAgICAgIHJldHVybiBtaW4oZ2V0KGlkIDw8IDEsIGwsIG1pZCwgZmluKSwgZ2V0KGlkIDw8IDEgfCAxLCBtaWQgKyAxLCByLCBmaW4pKTsKICAgIH0KcHVibGljOgogICAgU2VnbWVudFRyZWUgKGludCBfbikgewogICAgICAgIG4gPSBfbjsKICAgICAgICB2LnJlc2l6ZShuICogNCArIDEsIGluZik7CiAgICB9CgogICAgdm9pZCB1cGRhdGUoaW50IHBvcywgaW50IHZhbCkgewogICAgICAgIHVwZGF0ZSgxLCAxLCBuLCBwb3MsIHZhbCk7CiAgICB9CgogICAgaW50IGdldChpbnQgZmluKSB7CiAgICAgICAgcmV0dXJuIGdldCgxLCAxLCBuLCBmaW4pOwogICAgfQp9OwoKc3RydWN0IFJlY3QgewogICAgaW50IHgxLCB5MSwgeDIsIHkyLCBQOwoKICAgIGJvb2wgb3BlcmF0b3IgPCAoY29uc3QgUmVjdCYgb3RoZXIpIGNvbnN0IHsKICAgICAgICByZXR1cm4gUCA8IG90aGVyLlA7CiAgICB9Cn07Cgp2ZWN0b3IgPFJlY3Q+IHY7CgppbnQgTCwgVywgYVtOICsgNV1bTiArIDVdLCBuLCBrLCBzdW1bTiArIDVdW04gKyA1XTsKCmludCBnZXQoaW50IHgsIGludCB5LCBpbnQgdSwgaW50IHYpIHsKICAgIHJldHVybiBzdW1bdV1bdl0gLSBzdW1beCAtIDFdW3ZdIC0gc3VtW3VdW3kgLSAxXSArIHN1bVt4IC0gMV1beSAtIDFdOwp9CgppbnQgY29vaygpIHsKICAgIGludCBhbnMgPSBpbmY7CiAgICBpbnQgbSA9IHN6KHYpOwogICAgU2VnbWVudFRyZWUgdHJlZXgoTCArIDEpOwogICAgZm9ydyAoaSwgMCwgbSAtIDEpIHsKICAgICAgICB0cmVleC51cGRhdGUodltpXS54MiwgdltpXS5QKTsKICAgIH0KICAgIGZvcncgKGksIDAsIG0gLSAxKSB7CiAgICAgICAgYW5zID0gbWluKGFucywgdltpXS5QICsgdHJlZXguZ2V0KHZbaV0ueDEgLSAxKSk7CiAgICB9CgogICAgU2VnbWVudFRyZWUgdHJlZXkoVyArIDEpOwogICAgZm9ydyAoaSwgMCwgbSAtIDEpIHsKICAgICAgICB0cmVleS51cGRhdGUodltpXS55MiwgdltpXS5QKTsKICAgIH0KICAgIGZvcncgKGksIDAsIG0gLSAxKSB7CiAgICAgICAgYW5zID0gbWluKGFucywgdltpXS5QICsgdHJlZXkuZ2V0KHZbaV0ueTEgLSAxKSk7CiAgICB9CiAgICByZXR1cm4gYW5zOwp9Cgp2b2lkIHNvbHZlKCkgewogICAgY2luID4+IEwgPj4gVyA+PiBuID4+IGs7CiAgICAKICAgIGZvcncgKGksIDEsIG4pIHsKICAgICAgICBpbnQgeCwgeTsKICAgICAgICBjaW4gPj4geCA+PiB5OwogICAgICAgICsrYVt4XVt5XTsKICAgIH0KCiAgICBmb3J3IChpLCAxLCBMKSBmb3J3IChqLCAxLCBXKQogICAgICAgIHN1bVtpXVtqXSA9IHN1bVtpIC0gMV1bal0gKyBzdW1baV1baiAtIDFdIC0gc3VtW2kgLSAxXVtqIC0gMV0gKyBhW2ldW2pdOwoKICAgIGZvcncgKHgxLCAxLCBMKSBmb3J3ICh4MiwgeDEsIEwpIHsKICAgICAgICBpbnQgbCA9IDE7CiAgICAgICAgZm9ydyAociwgMSwgVykgewogICAgICAgICAgICB3aGlsZSAobCA8PSByICYmIGdldCh4MSwgbCwgeDIsIHIpID4gaykgKytsOwogICAgICAgICAgICBpZiAobCA8PSByICYmIGdldCh4MSwgbCwgeDIsIHIpID09IGspIHsKICAgICAgICAgICAgICAgIGludCB5MSA9IGwsIHkyID0gcjsKICAgICAgICAgICAgICAgIGludCBQID0gMiAqICh4MiAtIHgxICsgMSArIHkyIC0geTEgKyAxKTsKICAgICAgICAgICAgICAgIHYucHVzaF9iYWNrKHt4MSwgeTEsIHgyLCB5MiwgUH0pOwogICAgICAgICAgICB9CiAgICAgICAgfQogICAgfQoKICAgIGludCByZXMgPSBjb29rKCk7CiAgICBpZiAocmVzID49IGluZikgewogICAgICAgIGNvdXQgPDwgIk5PXG4iOwogICAgfQogICAgZWxzZSBjb3V0IDw8IHJlcyA8PCBlbmRsOwp9CgoKc2lnbmVkIG1haW4oKSB7CiAgICBpb3M6OnN5bmNfd2l0aF9zdGRpbyhmYWxzZSksIGNpbi50aWUobnVsbHB0cik7CiAgICBzcmFuZCh0aW1lKE5VTEwpKTsKICAgICNkZWZpbmUgbmFtZSAidGVzdCIKICAgIC8qCiAgICBpZiAoZm9wZW4obmFtZSIuSU5QIiwgInIiKSkgewogICAgICAgIGZyZW9wZW4obmFtZSIuSU5QIiwgInIiLCBzdGRpbik7CiAgICAgICAgZnJlb3BlbihuYW1lIi5PVVQiLCAidyIsIHN0ZG91dCk7CiAgICB9CiAgICAqLwogICAgYm9vbCB0ZXN0Q2FzZSA9IGZhbHNlOwogICAgaW50IG51bVRlc3QgPSAxOwogICAgLy8gY2luID4+IG51bVRlc3Q7CiAgICBmb3J3IChpLCAxLCBudW1UZXN0KSB7CiAgICAgICAgaWYgKHRlc3RDYXNlKSBjb3V0IDw8ICJDYXNlICIgPDwgaSA8PCAiOiAiOwogICAgICAgIHNvbHZlKCk7CiAgICB9CiAgICByZXR1cm4gMDsKfQoKLyoKICAvXF9fL1wKICg9Xi5ePSApCiAoIikgKCIpXy8KKi8K