from collections import defaultdict,deque

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

    def find(self, x):
        if self.parents[x] < 0:
            return x
        else:
            self.parents[x] = self.find(self.parents[x])
            return self.parents[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

H,W,N,D=map(int,input().split())
XY=[tuple(map(int,input().split())) for _ in range(N)]

mp=[[N for _ in range(W+1)] for _ in range(H+1)]
for (i,(x,y)) in enumerate(XY):mp[x][y]=i

uf=UnionFind(N)
INF=int(1e18)
for (x,y) in XY:
    dist=[[INF for _ in range(W+1)] for _ in range(H+1)]
    dist[x][y]=0
    Q=deque()
    Q.append((x,y))
    while len(Q):
        i,j=Q.popleft()
        if dist[i][j]==D:continue
        for (di,dj) in [(1,0),(-1,0),(0,1),(0,-1)]:
            ni=i+di
            nj=j+dj
            if 1<=ni<=H and 1<=nj<=W:
                if dist[i][j]+1<dist[ni][nj]:
                    dist[ni][nj]=dist[i][j]+1
                    Q.append((ni,nj))
                    if mp[ni][nj]!=N:
                        uf.union(mp[x][y],mp[ni][nj])

cand=set()
star=set()
sign=set()
star_cand=defaultdict(set)
sign_cand=defaultdict(set)
for (x,y) in XY:
    root=uf.find(mp[x][y])
    size=uf.size(root)
    if size==1:star.add(root)
    else:sign.add(root)

    dist=[[INF for _ in range(W+1)] for _ in range(H+1)]
    dist[x][y]=0
    Q=deque()
    Q.append((x,y))
    while len(Q):
        i,j=Q.popleft()
        if dist[i][j]==D:continue
        for (di,dj) in [(1,0),(-1,0),(0,1),(0,-1)]:
            ni=i+di
            nj=j+dj
            if 1<=ni<=H and 1<=nj<=W:
                if dist[i][j]+1<dist[ni][nj]:
                    dist[ni][nj]=dist[i][j]+1
                    Q.append((ni,nj))
                    if mp[ni][nj]==N:
                        cand.add((ni,nj))
                        if size==1:star_cand[root].add((ni,nj))
                        else:sign_cand[root].add((ni,nj))

star_num=len(star)
sign_num=len(sign)

star_cand_cnt=defaultdict(int)
sign_cand_cnt=defaultdict(int)
for (k,v) in star_cand.items():
    for x in v:star_cand_cnt[x]+=1
for (k,v) in sign_cand.items():
    for x in v:sign_cand_cnt[x]+=1

inc=0
dec=0
for c in cand:
    if star_cand_cnt.get(c) is not None and sign_cand_cnt.get(c) is None:inc+=1
    elif star_cand_cnt.get(c) is None and sign_cand_cnt.get(c) is not None:dec=max(dec,sign_cand_cnt[c])

mx=sign_num
mn=sign_num
if inc>0:mx+=1
if dec>0:mn-=dec-1

print(mn,mx)