from collections import defaultdict


class UnionFind():
    def __init__(self, n):
        self.n = n
        self.parents = [-1] * n

    def find(self, x):
        way=[]
        while True:
            if self.parents[x] < 0:
                break
            else:
                way.append(x)
                x=self.parents[x]
        for w in way:
            self.parents[w]=x
        return x

    def union(self, x, y):
        x = self.find(x)
        y = self.find(y)

        if x == y:
            return

        if self.parents[x] > self.parents[y]:
            x, y = y, x

        self.parents[x] += self.parents[y]
        self.parents[y] = x

    def size(self, x):
        return -self.parents[self.find(x)]

    def same(self, x, y):
        return self.find(x) == self.find(y)

    def members(self, x):
        root = self.find(x)
        return [i for i in range(self.n) if self.find(i) == root]

    def roots(self):
        return [i for i, x in enumerate(self.parents) if x < 0]

    def group_count(self):
        return len(self.roots())

    def all_group_members(self):
        group_members = defaultdict(list)
        for member in range(self.n):
            group_members[self.find(member)].append(member)
        return group_members

    def __str__(self):
        return '\n'.join(f'{r}: {m}' for r, m in self.all_group_members().items())
    

import sys
input=sys.stdin.readline
H,W,N,D=map(int,input().split())
dat=[]
datset=set()
dic=[[-1]*W for _ in range(H)]
uf=UnionFind(N)
for i in range(N):
    x,y=map(int,input().split())
    x-=1
    y-=1
    dat.append((x,y))
    datset.add((x,y))
    dic[x][y]=i
for x,y in dat:
    for i in range(D+1):
        lim=D-abs(i)
        for j in range(-lim,lim+1):
            if abs(i)+abs(j)>D:
                continue
            if (x+i,y+j) in datset:
                uf.union(dic[x][y],dic[x+i][y+j])
root={}
for a in datset:
    root[a]=uf.find(dic[a[0]][a[1]])
small=10**9
big=-10**9
for i in range(H):
    for j in range(W):
        use=set()
        for k in range(-D,D+1):
            lim=D-abs(k)
            for t in range(-lim,lim+1):
                if abs(k)+abs(t)>D:
                    continue
                tmp=(i+k,j+t)
                if tmp in datset:
                    use.add(root[tmp])
        flag=False
        one=0
        notone=0
        tmp=0
        for u in use:
            if -uf.parents[u]==1:
                one+=1
            else:
                notone+=1
        if notone==0:
            if one>0:
                tmp+=1
        else:
            tmp=-(notone-1)
        big=max(big,tmp)
        small=min(small,tmp)
all=0
#print(small,big)
for idx,lis in uf.all_group_members().items():
    if len(lis)>1:
        all+=1
#print(all)
print(all+small,all+big)