#include<iostream>
#include<string>
#include<queue>
#include<vector>
#include<cassert>
#include<random>
#include<set>
#include<map>
#include<cassert>
#include<unordered_map>
#include<bitset>
#include<numeric>
#include<algorithm>
using namespace std;
using ll = long long;
const int inf=1<<30;
const ll INF=1LL<<62;
using P = pair<int,int>;
typedef pair<int,P> PP; 
const ll MOD=998244353;
const int MAXN=100000;


class UnionFind{

public:
    std::vector<int> par;
    std::vector<int> rank;
    std::vector<int> sz;//sz[i]で,頂点iが含まれているグループのサイズ
    std::vector<int> root;

    UnionFind(int size){
        rank=std::vector<int>(size+1,0);
        
        par = std::vector<int>(size+1,0);
        std::iota(par.begin(),par.end(),0);//#include<numeric>
        sz = std::vector<int>(size+1,1);
        root=std::vector<int>(size+1);
        std::iota(root.begin(),root.end(),0);
    }  

    

    ~UnionFind(){
        std::vector<int>().swap(rank);
        std::vector<int>().swap(par);
        std::vector<int>().swap(sz);
        std::vector<int>().swap(root);
    }  


    int find(int x){
        if(par[x]==x)return x;
        else return par[x] = find(par[x]);
    }

    bool issame(int u,int v){
        return find(u)==find(v);
    }


    void merge(int u,int v){
        u = find(u);
        v = find(v);
        if(u==v) return;

       
        if(rank[u]<rank[v]) std::swap(u,v);
        //uの傘下へvが入る
        
        //rank[u]>=rank[v]
        par[v]=u;
        sz[u]+=sz[v];
        if(rank[u]==rank[v])rank[u]++;

    }
    

    int size(int u){//頂点uが属すグループの大きさを表す.
        u=find(u);
        return sz[u];
    }

    std::map<int,std::vector<int>> element(){
        std::map<int,std::vector<int>> mp;
        for(int i=0;i<par.size();i++){
            root[i]=find(i);
            mp[root[i]].push_back(i);
        }
        return mp;

    }
};


int main(){
    int H,W,N,dist;
    cin>>H>>W>>N>>dist;
    vector<vector<int>>pos(H,vector<int>(W,-1));
    vector<P> XY(N);
    for(int i=0;i<N;i++){
        cin>>XY[i].first>>XY[i].second;
        XY[i].first--;
        XY[i].second--;
        pos[XY[i].first][XY[i].second]=i;
    }

    vector<P> B;
    for(int dx=-dist;dx<=dist;dx++){
        for(int dy=-dist;dy<=dist;dy++){
            int c=abs(dx)+abs(dy);
            if(c>dist)continue;
            B.push_back({dx,dy});
        }
    }
    UnionFind uf(H*W);

    for(int i=0;i<H;i++){
        for(int j=0;j<W;j++){
            if(pos[i][j]==-1)continue;
            int p=pos[i][j];
            for(auto [dx,dy]:B){
                int nx=i+dx;
                int ny=j+dy;
                if(0<=nx && nx<H && 0<=ny && ny<W && pos[nx][ny]!=-1){
                    int q=pos[nx][ny];
                    uf.merge(p,q);
                }
            }
        }
    }

    map<int,int> D,E;
    vector<bool> F(H*W);
    for(int i=0;i<N;i++){
        int d=uf.find(i);
        if(F[d])continue;

        F[d]=1;
        if(uf.size(d)==1){
            D[d]=1;//孤立している点
        }else{
            E[d]=1;
        }
    }

    int al=E.size();//今のところの連結成分数の数

    vector<int> ans;

    for(int i=0;i<H;i++){
        for(int j=0;j<W;j++){
            if(pos[i][j]!=-1)continue;

            //座標(i,j)に点がある
            set<int> DD,EE;
            for(auto [dx,dy]:B){
                int nx=i+dx;
                int ny=j+dy;
                if(0<=nx && nx<H && 0<=ny && ny<W && pos[nx][ny]!=-1){
                    int q=uf.find(pos[nx][ny]);
                    if(uf.size(q)==1){
                        EE.insert(q);//孤立点
                    }else{
                        DD.insert(q);
                    }
                }

                // if(EE.size()==0){
                //     if(DD.size()==0){//(i,j)に点をおいても、孤立点になる場合
                //         ans.push_back(al);
                //     }else{
                //         ans.push_back(al-DD.size()+1);
                //     }
                // }else{
                //     ans.push_back(al-DD.size()+1);
                // }
                if(EE.size()==0 && DD.size()==0){
                    ans.push_back(al);
                }else{                   
                    ans.push_back(al-DD.size()+1);
                }
            }

        }
    }


    int ans_min = *min_element(ans.begin(),ans.end());
    int ans_max = *max_element(ans.begin(),ans.end());

    cout<<ans_min<<' '<<ans_max<<endl;

}