// 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 , m;
pair<ll,ll> thoc[Maxn],th[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 Rutgon()
{
n = 0 ;
for (int i = 1 ; i <= m ; ++i)
{
int j = i;
while(th[i].fi==th[j+1].fi)
{
j++;
th[i].se+=th[j].fi;
}
thoc[++n]=th[i];
i = j;
}
}
void Do()
{
cin >> m >> k;
for (int i = 1 ; i <= m ; ++i) cin >> th[i].fi;
for (int i = 1 ; i <= m ; ++i) cin >> th[i].se;
sort(th+1,th+1+m);
Rutgon();
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+IHBpaTsKY29uc3QgbGwgTW9kID0gMWU5Kzc7CmNvbnN0IGxsIE1heG4gPSAxZTYrNjk7CmNvbnN0IGxsIE1heG0gPSAzZTMrNjk7CmNvbnN0IGxsIG9vID0gMWUxODsKY29uc3QgaW50IGluZiA9IDFlOTsKCmxsIG4gLCBrICwgbTsKcGFpcjxsbCxsbD4gdGhvY1tNYXhuXSx0aFtNYXhuXTsKbGwgbXVsW01heG5dLHBzW01heG5dOwoKYm9vbCBDYWwgKCBsbCBpZDEgLCBsbCAmaWRiZiAsIGxsICZsb2NhdGlvbiwgbGwgaWQyICwgbGwgdGltZWNoZWNrKQp7CiAgICB3aGlsZShsb2NhdGlvbjw9dGhvY1tpZDJdLmZpKQogICAgewogICAgICAgIGxsIHRpbWUgPSBsb2NhdGlvbiooMipwc1tpZGJmXS1wc1tpZDEtMV0tcHNbaWQyXSktMiptdWxbaWRiZl0rbXVsW2lkMS0xXSttdWxbaWQyXTsKICAgICAgICAvL2NlcnIgPDwgdGltZSA8PCAnICcgPDwgaWQxIDw8ICcgJyA8PCBpZDIgPDwgJyAnIDw8IGlkYmYgPDwgJyAnICA8PCBsb2NhdGlvbiA8PCAnXG4nIDsKICAgICAgICBpZih0aW1lIDw9IHRpbWVjaGVjaykgcmV0dXJuIHRydWU7CiAgICAgICAgbG9jYXRpb24rKzsKICAgICAgICBpZihpZGJmKzE8PW4mJmxvY2F0aW9uPj10aG9jW2lkYmYrMV0uZmkpaWRiZisrOwogICAgfQogICAgcmV0dXJuIGZhbHNlOwp9Cgpib29sIENoZWNrICggbGwgdCApCnsKICAgIGxsIHNsb3QgPSAwIDsKICAgIGZvciAobGwgaSA9IDEgOyBpIDw9IG4gOyArK2kpCiAgICB7CiAgICAgICAgbGwgaiA9IGkgLCBsb2NhdGlvbiA9IHRob2NbaV0uZmkgLCBpZHRob2N0cmNsb2MgPSBpIDsKICAgICAgICB3aGlsZShpPG4mJkNhbChqLGlkdGhvY3RyY2xvYyxsb2NhdGlvbixpKzEsdCkpaSsrOwogICAgICAgIC8vY2VyciA8PCBpIDw8ICcgJyA8PCBsb2NhdGlvbiA8PCAnXG4nOwogICAgICAgIHNsb3QrKzsKICAgIH0KICAgIC8vY2VyciA8PCBzbG90IDw8ICdcbicgPDwgJ1xuJyA8PCAnXG4nOwogICAgaWYoc2xvdDw9aykgcmV0dXJuIHRydWU7CiAgICByZXR1cm4gZmFsc2U7Cn0KCnZvaWQgUnV0Z29uKCkKewogICAgbiA9IDAgOwogICAgZm9yIChpbnQgaSA9IDEgOyBpIDw9IG0gOyArK2kpCiAgICB7CiAgICAgICAgaW50IGogPSBpOwogICAgICAgIHdoaWxlKHRoW2ldLmZpPT10aFtqKzFdLmZpKQogICAgICAgIHsKICAgICAgICAgICAgaisrOwogICAgICAgICAgICB0aFtpXS5zZSs9dGhbal0uZmk7CiAgICAgICAgfQogICAgICAgIHRob2NbKytuXT10aFtpXTsKICAgICAgICBpID0gajsKICAgIH0KfQoKdm9pZCBEbygpCnsKICAgIGNpbiA+PiBtID4+IGs7CiAgICBmb3IgKGludCBpID0gMSA7IGkgPD0gbSA7ICsraSkgY2luID4+IHRoW2ldLmZpOwogICAgZm9yIChpbnQgaSA9IDEgOyBpIDw9IG0gOyArK2kpIGNpbiA+PiB0aFtpXS5zZTsKICAgIHNvcnQodGgrMSx0aCsxK20pOwogICAgUnV0Z29uKCk7CiAgICBmb3IgKGludCBpID0gMSA7IGkgPD0gbiA7ICsraSkKICAgIHsKICAgICAgICBtdWxbaV0gPSBtdWxbaS0xXSt0aG9jW2ldLmZpKnRob2NbaV0uc2U7CiAgICAgICAgcHNbaV0gPSBwc1tpLTFdK3Rob2NbaV0uc2U7CiAgICAgICAgLy9jb3V0IDw8IG11bFtpXSA8PCAnICcgPDwgcHNbaV0gPDwgJ1xuJzsKICAgIH0KICAgIGxsIGwgPSAwICwgciA9IDFlMTg7CiAgICB3aGlsZShsPD1yKQogICAgewogICAgICAgIGxsIG1pZCA9IChsK3IpLzI7CiAgICAgICAgLy9jZXJyIDw8IGwgPDwgJyAnIDw8IG1pZCA8PCAnICcgPDwgciA8PCAnICcgOwogICAgICAgIGlmKENoZWNrKG1pZCkpcj1taWQtMTsKICAgICAgICBlbHNlIGwgPSBtaWQrMTsKICAgIH0KICAgIGNvdXQgPDwgbDsKfQoKc2lnbmVkIG1haW4gKCkKewogICAgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbygwKSwgY2luLnRpZSgwKSwgY291dC50aWUoMCk7CiNkZWZpbmUgdGFzayAidGVzdCIKICAgIGlmKGZvcGVuKHRhc2siLmlucCIsICJyIikpewogICAgICAgIGZyZW9wZW4odGFzayIuaW5wIiwgInIiLCBzdGRpbik7CiAgICAgICAgZnJlb3Blbih0YXNrIi5vdXQiLCAidyIsIHN0ZG91dCk7CiAgICB9CiAgICBpbnQgbnRlc3Q9MTsKICAgIHdoaWxlKG50ZXN0LS0pIERvKCk7CiAgICBjZXJyPDwiXG5UaW1lIGVsYXBzZWQ6ICI8PDEwMDAqY2xvY2soKS9DTE9DS1NfUEVSX1NFQzw8Im1zXG4iOwp9Cgo=