// SIGMA BOY hihihihihihihi
#define se second
#define fi first
#define pb push_back
#define pob pop_back
#define bitebi __builtin_popcountll
#include <bits/stdc++.h>
using namespace std ;
typedef long long ll;
typedef long double ld;
typedef pair<ll,ll> pll;
typedef pair<int,int> pii;
const ll Mod = 1e9+7;
const ll Maxn = 1e6+69;
const ll Maxm = 3e3+69;
const ll oo = 1e18;
const int inf = 1e9;
ll n , k ;
pair<ll,ll> thoc[Maxn];
ll mul[Maxn],ps[Maxn];
bool Cal ( ll id1 , ll &idbf , ll &location, ll id2 , ll timecheck)
{
while(location<=thoc[id2].fi)
{
ll time = location*(2*ps[idbf]-ps[id1-1]-ps[id2])-2*mul[idbf]+mul[id1-1]+mul[id2];
//cerr << time << ' ' << id1 << ' ' << id2 << ' ' << idbf << ' ' << location << '\n' ;
if(time <= timecheck) return true;
location++;
if(idbf+1<=n&&location>=thoc[idbf+1].fi)idbf++;
}
return false;
}
bool Check ( ll t )
{
ll slot = 0 ;
for (ll i = 1 ; i <= n ; ++i)
{
ll j = i , location = thoc[i].fi , idthoctrcloc = i ;
while(i<n&&Cal(j,idthoctrcloc,location,i+1,t))i++;
//cerr << i << ' ' << location << '\n';
slot++;
}
//cerr << slot << '\n' << '\n' << '\n';
if(slot<=k) return true;
return false;
}
void Do()
{
cin >> n >> k;
for (int i = 1 ; i <= n ; ++i) cin >> thoc[i].fi;
for (int i = 1 ; i <= n ; ++i) cin >> thoc[i].se;
sort(thoc+1,thoc+1+n);
for (int i = 1 ; i <= n ; ++i)
{
mul[i] = mul[i-1]+thoc[i].fi*thoc[i].se;
ps[i] = ps[i-1]+thoc[i].se;
//cout << mul[i] << ' ' << ps[i] << '\n';
}
ll l = 0 , r = 1e18;
while(l<=r)
{
ll mid = (l+r)/2;
//cerr << l << ' ' << mid << ' ' << r << ' ' ;
if(Check(mid))r=mid-1;
else l = mid+1;
}
cout << l;
}
signed main ()
{
ios_base::sync_with_stdio(0), cin.tie(0), cout.tie(0);
#define task "test"
if(fopen(task".inp", "r")){
freopen(task".inp", "r", stdin);
freopen(task".out", "w", stdout);
}
int ntest=1;
while(ntest--) Do();
cerr<<"\nTime elapsed: "<<1000*clock()/CLOCKS_PER_SEC<<"ms\n";
}
Ly8gU0lHTUEgQk9ZIGhpaGloaWhpaGloaWhpCgojZGVmaW5lIHNlIHNlY29uZAojZGVmaW5lIGZpIGZpcnN0CiNkZWZpbmUgcGIgcHVzaF9iYWNrCiNkZWZpbmUgcG9iIHBvcF9iYWNrCiNkZWZpbmUgYml0ZWJpIF9fYnVpbHRpbl9wb3Bjb3VudGxsCiNpbmNsdWRlIDxiaXRzL3N0ZGMrKy5oPgoKdXNpbmcgbmFtZXNwYWNlIHN0ZCA7CnR5cGVkZWYgbG9uZyBsb25nIGxsOwp0eXBlZGVmIGxvbmcgZG91YmxlIGxkOwp0eXBlZGVmIHBhaXI8bGwsbGw+IHBsbDsKdHlwZWRlZiBwYWlyPGludCxpbnQ+IHBpaTsKY29uc3QgbGwgTW9kID0gMWU5Kzc7CmNvbnN0IGxsIE1heG4gPSAxZTYrNjk7CmNvbnN0IGxsIE1heG0gPSAzZTMrNjk7CmNvbnN0IGxsIG9vID0gMWUxODsKY29uc3QgaW50IGluZiA9IDFlOTsKCmxsIG4gLCBrIDsKcGFpcjxsbCxsbD4gdGhvY1tNYXhuXTsKbGwgbXVsW01heG5dLHBzW01heG5dOwoKYm9vbCBDYWwgKCBsbCBpZDEgLCBsbCAmaWRiZiAsIGxsICZsb2NhdGlvbiwgbGwgaWQyICwgbGwgdGltZWNoZWNrKQp7CiAgICB3aGlsZShsb2NhdGlvbjw9dGhvY1tpZDJdLmZpKQogICAgewogICAgICAgIGxsIHRpbWUgPSBsb2NhdGlvbiooMipwc1tpZGJmXS1wc1tpZDEtMV0tcHNbaWQyXSktMiptdWxbaWRiZl0rbXVsW2lkMS0xXSttdWxbaWQyXTsKICAgICAgICAvL2NlcnIgPDwgdGltZSA8PCAnICcgPDwgaWQxIDw8ICcgJyA8PCBpZDIgPDwgJyAnIDw8IGlkYmYgPDwgJyAnICA8PCBsb2NhdGlvbiA8PCAnXG4nIDsKICAgICAgICBpZih0aW1lIDw9IHRpbWVjaGVjaykgcmV0dXJuIHRydWU7CiAgICAgICAgbG9jYXRpb24rKzsKICAgICAgICBpZihpZGJmKzE8PW4mJmxvY2F0aW9uPj10aG9jW2lkYmYrMV0uZmkpaWRiZisrOwogICAgfQogICAgcmV0dXJuIGZhbHNlOwp9Cgpib29sIENoZWNrICggbGwgdCApCnsKICAgIGxsIHNsb3QgPSAwIDsKICAgIGZvciAobGwgaSA9IDEgOyBpIDw9IG4gOyArK2kpCiAgICB7CiAgICAgICAgbGwgaiA9IGkgLCBsb2NhdGlvbiA9IHRob2NbaV0uZmkgLCBpZHRob2N0cmNsb2MgPSBpIDsKICAgICAgICB3aGlsZShpPG4mJkNhbChqLGlkdGhvY3RyY2xvYyxsb2NhdGlvbixpKzEsdCkpaSsrOwogICAgICAgIC8vY2VyciA8PCBpIDw8ICcgJyA8PCBsb2NhdGlvbiA8PCAnXG4nOwogICAgICAgIHNsb3QrKzsKICAgIH0KICAgIC8vY2VyciA8PCBzbG90IDw8ICdcbicgPDwgJ1xuJyA8PCAnXG4nOwogICAgaWYoc2xvdDw9aykgcmV0dXJuIHRydWU7CiAgICByZXR1cm4gZmFsc2U7Cn0KCnZvaWQgRG8oKQp7CiAgICBjaW4gPj4gbiA+PiBrOwogICAgZm9yIChpbnQgaSA9IDEgOyBpIDw9IG4gOyArK2kpIGNpbiA+PiB0aG9jW2ldLmZpOwogICAgZm9yIChpbnQgaSA9IDEgOyBpIDw9IG4gOyArK2kpIGNpbiA+PiB0aG9jW2ldLnNlOwogICAgc29ydCh0aG9jKzEsdGhvYysxK24pOwoKICAgIGZvciAoaW50IGkgPSAxIDsgaSA8PSBuIDsgKytpKQogICAgewogICAgICAgIG11bFtpXSA9IG11bFtpLTFdK3Rob2NbaV0uZmkqdGhvY1tpXS5zZTsKICAgICAgICBwc1tpXSA9IHBzW2ktMV0rdGhvY1tpXS5zZTsKICAgICAgICAvL2NvdXQgPDwgbXVsW2ldIDw8ICcgJyA8PCBwc1tpXSA8PCAnXG4nOwogICAgfQogICAgbGwgbCA9IDAgLCByID0gMWUxODsKICAgIHdoaWxlKGw8PXIpCiAgICB7CiAgICAgICAgbGwgbWlkID0gKGwrcikvMjsKICAgICAgICAvL2NlcnIgPDwgbCA8PCAnICcgPDwgbWlkIDw8ICcgJyA8PCByIDw8ICcgJyA7CiAgICAgICAgaWYoQ2hlY2sobWlkKSlyPW1pZC0xOwogICAgICAgIGVsc2UgbCA9IG1pZCsxOwogICAgfQogICAgY291dCA8PCBsOwp9CgpzaWduZWQgbWFpbiAoKQp7CiAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKDApLCBjaW4udGllKDApLCBjb3V0LnRpZSgwKTsKI2RlZmluZSB0YXNrICJ0ZXN0IgogICAgaWYoZm9wZW4odGFzayIuaW5wIiwgInIiKSl7CiAgICAgICAgZnJlb3Blbih0YXNrIi5pbnAiLCAiciIsIHN0ZGluKTsKICAgICAgICBmcmVvcGVuKHRhc2siLm91dCIsICJ3Iiwgc3Rkb3V0KTsKICAgIH0KICAgIGludCBudGVzdD0xOwogICAgd2hpbGUobnRlc3QtLSkgRG8oKTsKICAgIGNlcnI8PCJcblRpbWUgZWxhcHNlZDogIjw8MTAwMCpjbG9jaygpL0NMT0NLU19QRVJfU0VDPDwibXNcbiI7Cn0K