#include <bits/stdc++.h>
using namespace std;
#define ll long long
// Should be Accepted (Fast-I/O)
#define EGRY \
ios_base::sync_with_stdio(false); \
cin.tie(NULL);
const int MAX = 1e6 + 5;
void solve()
{
ll n, k;
cin >> n >> k;
vector<ll> a(n), b(n);
set<ll> prices;
for (ll i = 0; i < n; i++)
{
cin >> a[i];
prices.insert(a[i]);
}
for (ll i = 0; i < n; i++)
{
cin >> b[i];
prices.insert(b[i]);
}
sort(a.begin(), a.end());
sort(b.begin(), b.end());
ll max_profit = 0;
for (auto &price : prices)
{
ll happy = a.end() - lower_bound(a.begin(), a.end(), price);
ll nothing = lower_bound(b.begin(), b.end(), price) - b.begin();
ll sad = n - happy - nothing;
if (sad <= k)
{
max_profit = max(max_profit, price * (happy + sad));
}
}
cout << max_profit << endl;
}
int main()
{
EGRY ll t = 1;
// cin >> t;
while (t--)
{
solve();
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+Cgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKI2RlZmluZSBsbCBsb25nIGxvbmcKCi8vIFNob3VsZCBiZSBBY2NlcHRlZCAoRmFzdC1JL08pCgojZGVmaW5lIEVHUlkgICAgICAgICAgICAgICAgICAgICAgICAgIFwKICAgIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oZmFsc2UpOyBcCiAgICBjaW4udGllKE5VTEwpOwoKY29uc3QgaW50IE1BWCA9IDFlNiArIDU7Cgp2b2lkIHNvbHZlKCkKewogICAgbGwgbiwgazsKICAgIGNpbiA+PiBuID4+IGs7CgogICAgdmVjdG9yPGxsPiBhKG4pLCBiKG4pOwoKICAgIHNldDxsbD4gcHJpY2VzOwoKICAgIGZvciAobGwgaSA9IDA7IGkgPCBuOyBpKyspCiAgICB7CiAgICAgICAgY2luID4+IGFbaV07CiAgICAgICAgcHJpY2VzLmluc2VydChhW2ldKTsKICAgIH0KCiAgICBmb3IgKGxsIGkgPSAwOyBpIDwgbjsgaSsrKQogICAgewogICAgICAgIGNpbiA+PiBiW2ldOwogICAgICAgIHByaWNlcy5pbnNlcnQoYltpXSk7CiAgICB9CgogICAgc29ydChhLmJlZ2luKCksIGEuZW5kKCkpOwogICAgc29ydChiLmJlZ2luKCksIGIuZW5kKCkpOwoKICAgIGxsIG1heF9wcm9maXQgPSAwOwoKICAgIGZvciAoYXV0byAmcHJpY2UgOiBwcmljZXMpCiAgICB7CiAgICAgICAgbGwgaGFwcHkgPSBhLmVuZCgpIC0gbG93ZXJfYm91bmQoYS5iZWdpbigpLCBhLmVuZCgpLCBwcmljZSk7CiAgICAgICAgbGwgbm90aGluZyA9IGxvd2VyX2JvdW5kKGIuYmVnaW4oKSwgYi5lbmQoKSwgcHJpY2UpIC0gYi5iZWdpbigpOwogICAgICAgIGxsIHNhZCA9IG4gLSBoYXBweSAtIG5vdGhpbmc7CgogICAgICAgIGlmIChzYWQgPD0gaykKICAgICAgICB7CiAgICAgICAgICAgIG1heF9wcm9maXQgPSBtYXgobWF4X3Byb2ZpdCwgcHJpY2UgKiAoaGFwcHkgKyBzYWQpKTsKICAgICAgICB9CiAgICB9CgogICAgY291dCA8PCBtYXhfcHJvZml0IDw8IGVuZGw7Cn0KCmludCBtYWluKCkKewogICAgRUdSWSBsbCB0ID0gMTsKICAgIC8vIGNpbiA+PiB0OwoKICAgIHdoaWxlICh0LS0pCiAgICB7CiAgICAgICAgc29sdmUoKTsKICAgIH0KCiAgICByZXR1cm4gMDsKfQo=