using System; using static System.Console; using System.Linq; using System.Collections.Generic; class Program { static int NN => int.Parse(ReadLine()); static int[] NList => ReadLine().Split().Select(int.Parse).ToArray(); static int[][] NArr(long n) => Enumerable.Repeat(0, (int)n).Select(_ => NList).ToArray(); public static void Main() { Solve(); } static void Solve() { var c = NList; var (h, w, n, d) = (c[0], c[1], c[2], c[3]); var map = NArr(n); WriteLine(Stars(h, w, n, d, map)); } static string Stars(int h, int w, int n, int d, int[][] map) { var dic = new Dictionary(); for (var i = 0; i < n; ++i) { var k = Key(map[i][0], map[i][1]); dic[k] = i; } var uf = new UnionFindTree(n); for (var i = 0; i < n; ++i) { var ix = map[i][0]; var iy = map[i][1]; foreach (var pos in Search(ix, iy, h, w, d)) { var pk = Key(pos.x, pos.y); if (dic.ContainsKey(pk)) uf.Unite(i, dic[pk]); } } var newstar = new Dictionary(); for (var i = 0; i < n; ++i) { var ix = map[i][0]; var iy = map[i][1]; foreach (var pos in Search(ix, iy, h, w, d)) { var k = Key(pos.x, pos.y); if (dic.ContainsKey(k)) continue; if (!newstar.ContainsKey(k)) newstar[k] = new Data(); if (uf.GetSize(i) == 1) newstar[k].Singles.Add(i); else newstar[k].Signs.Add(uf.GetRoot(i)); } } var sum = 0; for (var i = 0; i < n; ++i) if (uf.GetRoot(i) == i && uf.GetSize(i) > 1) ++sum; var min = int.MaxValue; var max = 0; foreach (var s in newstar) { var sub = sum; if (s.Value.Signs.Count > 0) { sub -= s.Value.Signs.Count - 1; } else if (s.Value.Singles.Count > 0) { ++sub; } min = Math.Min(min, sub); max = Math.Max(max, sub); } var flg = false; for (var i = 1; i <= h; ++i) { for (var j = 1; j <= w; ++j) { var k = Key(i, j); if (!dic.ContainsKey(k) && !newstar.ContainsKey(k)) { min = Math.Min(min, sum); max = Math.Max(max, sum); flg = true; break; } } if (flg) break; } return $"{min} {max}"; } class Data { public HashSet Singles = new HashSet(); public HashSet Signs = new HashSet(); } static IEnumerable<(int x, int y)> Search(int sx, int sy, int h, int w, int d) { for (var i = Math.Max(1, sx - d); i <= Math.Min(h, sx + d); ++i) { var di = Math.Abs(sx - i); for (var j = Math.Max(1, sy - d + di); j <= Math.Min(w, sy + d - di); ++j) { if (i != sx || j != sy) yield return (i, j); } } } static long Key(int x, int y) { return x * 1_000_000L + y; } class UnionFindTree { int[] roots; public UnionFindTree(int size) { roots = new int[size]; for (var i = 0; i < size; ++i) roots[i] = -1; } public int GetRoot(int a) { if (roots[a] < 0) return a; return roots[a] = GetRoot(roots[a]); } public bool IsSameTree(int a, int b) { return GetRoot(a) == GetRoot(b); } public bool Unite(int a, int b) { var x = GetRoot(a); var y = GetRoot(b); if (x == y) return false; if (-roots[x] < -roots[y]) { var tmp = x; x = y; y = tmp; } roots[x] += roots[y]; roots[y] = x; return true; } public int GetSize(int a) { return -roots[GetRoot(a)]; } } }