#include <bits/stdc++.h>

using namespace std;

#ifdef LOCAL
#include "debug.hpp"
#else
#define debug(...) 1
#endif

int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    int n, k;
    cin >> n >> k;
    int sx, sy, gx, gy;
    cin >> sx >> sy >> gx >> gy;
    vector<int> x(n + 2), y(n + 2);
    for (int i = 0; i < n; i++) {
        cin >> x[i] >> y[i];
    }
    x[n] = sx, y[n] = sy;
    x[n + 1] = gx, y[n + 1] = gy;
    auto check = [&] (int p) -> bool {
        const int inf = 1 << 30;
        vector<int> dist(n + 2, inf);
        priority_queue<pair<int, int>, vector<pair<int, int>>, greater<pair<int, int>>> Q;
        Q.emplace(0, n);
        dist[n] = 0;
        while (!Q.empty()) {
            auto P = Q.top();
            Q.pop();
            int pos = P.second;
            int d = P.first;
            if (dist[pos] < d) {
                continue;
            }
            for (int i = 0; i < n + 2; i++) {
                int m = abs(x[pos] - x[i]) + abs(y[pos] - y[i]);
                int ndis = dist[pos] + max(0, (m + p - 1) / p - 1);
                if (ndis < dist[i]) {
                    dist[i] = ndis;
                    Q.emplace(ndis, i);
                }
            }
        }
        return dist[n + 1] <= k;
    };
    int ok = 200005, ng = 0;
    while (ok - ng > 1) {
        int mid = (ok + ng) >> 1;
        if (check(mid)) {
            ok = mid; 
        } else {
            ng = mid;
        }
    }
    cout << ok << '\n';
}