#include<bits/stdc++.h>
#include<atcoder/dsu>
using namespace std;
using ll=long long;
#define all(v) v.begin(),v.end()
#define rall(v) v.rbegin(),v.rend()
template<class T> bool chmax(T &a, T b){if (a < b){a = b;return true;} else return false;}
template<class T> bool chmin(T &a, T b){if (a > b){a = b;return true;} else return false;}

int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    int H,W,N,D;
    cin>>H>>W>>N>>D;
    vector<int>X(N),Y(N);
    for(int i=0;i<N;i++){
        cin>>X[i]>>Y[i];
        X[i]--;
        Y[i]--;
    }
    auto to=[&](int i,int j)-> int {
        return W*i+j;
    };
    vector flag(H,vector<bool>(W));
    for(int i=0;i<N;i++)flag[X[i]][Y[i]]=true;
    atcoder::dsu uf(H*W);
    for(int i=0;i<H;i++)for(int j=0;j<W;j++){
        if(flag[i][j]){
            for(int p=-D;p<=D;p++)for(int q=-D;q<=D;q++){
                if(abs(p)+abs(q)>D)continue;
                if(0<=i+p&&i+p<H&&0<=j+q&&j+q<W&&flag[i+p][j+q]){
                    uf.merge(to(i,j),to(i+p,j+q));
                }
            }
        }
    }
    vector<bool>R(H*W);
    int cnt=0;
    for(int i=0;i<H;i++)for(int j=0;j<W;j++){
        if(flag[i][j]){
            if(!R[uf.leader(to(i,j))]){
                R[uf.leader(to(i,j))]=true;
                if(uf.size(to(i,j))>=2)cnt++;
            }
        }
    }
    int ans_min=H*W,ans_max=0;
    for(int i=0;i<H;i++)for(int j=0;j<W;j++){
        if(!flag[i][j]){
            set<int>se;
            int b=0;
            for(int p=-D;p<=D;p++)for(int q=-D;q<=D;q++){
                if(abs(p)+abs(q)>D)continue;
                if(0<=i+p&&i+p<H&&0<=j+q&&j+q<W&&flag[i+p][j+q]){
                    se.insert(uf.leader(to(i+p,j+q)));
                    if(uf.size(to(i+p,j+q))==1)b++;
                }
            }
            if(se.empty()){
                chmin(ans_min,cnt);
                chmax(ans_max,cnt);
            }else{
                chmin(ans_min,cnt-(int)se.size()+1+b);
                chmax(ans_max,cnt-(int)se.size()+1+b);
            }
        }
    }
    cout<<ans_min<<" "<<ans_max<<"\n";
}