#include <bits/stdc++.h>
using namespace std;
int main() {
int n;
cin>>n;
vector<int> arr1;
vector<int> arr2;
int k;
cin>>k;
int result=0;
for(int i=0;i<n;i++)
{
int element;
cin>>element;
arr1.push_back(element);
}
for(int i=0;i<n;i++)
{
int element;
cin>>element;
arr2.push_back(element);
}
sort(arr1.begin(), arr1.end());
sort(arr2.begin(), arr2.end());
for(int j=n-1;j>=k-1;j--){
result = result + arr1[j]*arr2[j];
}
cout<<result;
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CgppbnQgbWFpbigpIHsKCWludCBuOwoJY2luPj5uOwoJdmVjdG9yPGludD4gYXJyMTsKCXZlY3RvcjxpbnQ+IGFycjI7CglpbnQgazsKCWNpbj4+azsKCWludCByZXN1bHQ9MDsKCWZvcihpbnQgaT0wO2k8bjtpKyspCgl7CgkJaW50IGVsZW1lbnQ7CgkJY2luPj5lbGVtZW50OwoJCWFycjEucHVzaF9iYWNrKGVsZW1lbnQpOwoJfQoJZm9yKGludCBpPTA7aTxuO2krKykKCXsKCQlpbnQgZWxlbWVudDsKCQljaW4+PmVsZW1lbnQ7CgkJYXJyMi5wdXNoX2JhY2soZWxlbWVudCk7Cgl9Cglzb3J0KGFycjEuYmVnaW4oKSwgYXJyMS5lbmQoKSk7Cglzb3J0KGFycjIuYmVnaW4oKSwgYXJyMi5lbmQoKSk7Cglmb3IoaW50IGo9bi0xO2o+PWstMTtqLS0pewoJCXJlc3VsdCA9IHJlc3VsdCArIGFycjFbal0qYXJyMltqXTsKCX0KCWNvdXQ8PHJlc3VsdDsKCXJldHVybiAwOwp9