# coding: utf-8
# Your code here!
from collections import defaultdict
import heapq as hq

N,K=map(int,input().split())

MAX=10**9
dp=[[[MAX for i in range(N)] for j in range(N)] for k in range(K)]
edges=defaultdict(dict)

def get_distance(loc1,loc2):
    x1,y1=loc1
    x2,y2=loc2
    
    return abs(x2-x1)+abs(y2-y1)

sx,sy,gx,gy=map(int,input().split())
distance=get_distance((sx,sy),(gx,gy))
edges[(sx,sy)][(gx,gy)]=distance
edges[(gx,gy)][(sx,sy)]=distance


for _ in range(N):
    x,y=map(int,input().split())
    
    nodes=list(edges.keys())
    
    for nx,ny in nodes:
        distance=get_distance((x,y),(nx,ny))
        edges[(x,y)][(nx,ny)]=distance
        edges[(nx,ny)][(x,y)]=distance


def search_way(p,goal):
    dp=defaultdict(lambda:10**9)
    start=[[0,(sx,sy)]]
    hq.heapify(start)
    
    while start:
        cost,now=hq.heappop(start)
        if dp[now]<=cost:
            continue
        else:
            dp[now]=cost
        
        for (nx,ny),dist in edges[now].items():
            shortage=dist-p
            if p!=0:
                need_light=max(-(-shortage//p),0)
            else:
                need_light=shortage
            
            hq.heappush(start,[cost+need_light,(nx,ny)])

    if dp[goal]<=K:
        return True
    else:
        return False
            
high=10**9
low=-1

while high-low>1:
    middle=(high+low)//2
    judge=search_way(middle,(gx,gy))
    
    if judge:
        high=middle
    else:
        low=middle
    
print(high)