#include<bits/stdc++.h>

using namespace std;

const int N=50;

int n,k;
int xx[N+5],yy[N+5];
pair<int,int>a[N*N+10];
long long ans=-1,s;

int main()
{
    scanf("%d%d",&n,&k);
    for(int i=1;i<=n;i++)
    {
       scanf("%d%d",&xx[i],&yy[i]);
    }
    int m=0;
    for(int i=1;i<=n;i++)
    {
        for(int j=1;j<=n;j++)
        {
           a[++m]=make_pair(xx[i],yy[j]);
        }
    }

    for(int i=1;i<=m;i++)
    {
        for(int j=i+1;j<=m;j++)
        {
            int num=0;
            int x1=min(a[i].first,a[j].first);
            int x2=max(a[i].first,a[j].first);
            int y1=min(a[i].second,a[j].second);
            int y2=max(a[i].second,a[j].second);
            for(int k=1;k<=n;k++)
            {
                if(x1<=xx[k]&&x2>=xx[k]&&y1<=yy[k]&&y2>=yy[k])
                {
                    num++;
                }
            }
            if(num>=k)
            {
                s=(long long)(x2-x1)*(y2-y1);
                  if(ans=-1)
                 {
                  ans=s;
                 }
                 else
                 {
                  ans=min(ans,s);
                 }
            }

        }
    }
    printf("%lld\n",ans);
    return 0;

}
