#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 4000000000000000001


int main(){
	int N,K;
	cin>>N>>K;
	
	vector<int> x,y;
	rep(i,N+2){
		long long a,b;
		cin>>a>>b;
		x.push_back(a+b);
		y.push_back(a-b);
	}
	
	long long ok = 1000000,ng = 0;
	while(ok-ng>1){
		int mid = (ok+ng)/2;
		vector<int> d(N+2,Inf32);
		d[0] = 0;
		vector<bool> f(N+2,false);
		while(true){
			int ii = -1;
			rep(i,N+2){
				if(f[i])continue;
				if(ii==-1 || d[ii]>d[i])ii = i;
			}
			if(ii==-1)break;
			f[ii] = true;
			rep(i,N+2){
				if(i==ii)continue;
				d[i] = min(d[i],d[ii] + (max(abs(x[i]-x[ii]),abs(y[i]-y[ii]))+mid-1)/mid - 1);
			}
		}
		if(d[1]<=K)ok = mid;
		else ng = mid;
	}
	cout<<ok<<endl;
	
	return 0;
}