#include <bits/stdc++.h>
using namespace std;
#define ll long long
const ll INF = -4e18;
int main() {
ios::sync_with_stdio(false);
cin.tie(nullptr);
int n, k;
cin >> n >> k;
vector<ll> A(n), B(n);
for (auto &x : A) cin >> x;
for (auto &x : B) cin >> x;
vector<ll> dp0(k+1, INF), dp1(k+1, INF);
ll ans = -INF;
for (int i = 0; i < n; i++) {
vector<ll> new0(k+1, INF), new1(k+1, INF);
for (int j = 0; j <= k; j++) {
ll a = A[i], b = B[i];
// Không trong đoạn nhân
new0[j] = a;
if (dp0[j] != INF) new0[j] = max(new0[j], dp0[j] + a);
if (dp1[j] != INF) new0[j] = max(new0[j], dp1[j] + a);
// Trong đoạn nhân
if (j > 0) {
new1[j] = a * b;
if (dp1[j] != INF) new1[j] = max(new1[j], dp1[j] + a * b);
if (dp0[j-1] != INF) new1[j] = max(new1[j], dp0[j-1] + a * b);
}
ans = max({ans, new0[j], new1[j]});
}
dp0.swap(new0);
dp1.swap(new1);
}
cout << ans;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgbGwgbG9uZyBsb25nCmNvbnN0IGxsIElORiA9IC00ZTE4OwoKaW50IG1haW4oKSB7CiAgICBpb3M6OnN5bmNfd2l0aF9zdGRpbyhmYWxzZSk7CiAgICBjaW4udGllKG51bGxwdHIpOwoKICAgIGludCBuLCBrOwogICAgY2luID4+IG4gPj4gazsKICAgIHZlY3RvcjxsbD4gQShuKSwgQihuKTsKICAgIGZvciAoYXV0byAmeCA6IEEpIGNpbiA+PiB4OwogICAgZm9yIChhdXRvICZ4IDogQikgY2luID4+IHg7CgogICAgdmVjdG9yPGxsPiBkcDAoaysxLCBJTkYpLCBkcDEoaysxLCBJTkYpOwogICAgbGwgYW5zID0gLUlORjsKCiAgICBmb3IgKGludCBpID0gMDsgaSA8IG47IGkrKykgewogICAgICAgIHZlY3RvcjxsbD4gbmV3MChrKzEsIElORiksIG5ldzEoaysxLCBJTkYpOwogICAgICAgIGZvciAoaW50IGogPSAwOyBqIDw9IGs7IGorKykgewogICAgICAgICAgICBsbCBhID0gQVtpXSwgYiA9IEJbaV07CgogICAgICAgICAgICAvLyBLaMO0bmcgdHJvbmcgxJFv4bqhbiBuaMOibgogICAgICAgICAgICBuZXcwW2pdID0gYTsKICAgICAgICAgICAgaWYgKGRwMFtqXSAhPSBJTkYpIG5ldzBbal0gPSBtYXgobmV3MFtqXSwgZHAwW2pdICsgYSk7CiAgICAgICAgICAgIGlmIChkcDFbal0gIT0gSU5GKSBuZXcwW2pdID0gbWF4KG5ldzBbal0sIGRwMVtqXSArIGEpOwoKICAgICAgICAgICAgLy8gVHJvbmcgxJFv4bqhbiBuaMOibgogICAgICAgICAgICBpZiAoaiA+IDApIHsKICAgICAgICAgICAgICAgIG5ldzFbal0gPSBhICogYjsKICAgICAgICAgICAgICAgIGlmIChkcDFbal0gIT0gSU5GKSBuZXcxW2pdID0gbWF4KG5ldzFbal0sIGRwMVtqXSArIGEgKiBiKTsKICAgICAgICAgICAgICAgIGlmIChkcDBbai0xXSAhPSBJTkYpIG5ldzFbal0gPSBtYXgobmV3MVtqXSwgZHAwW2otMV0gKyBhICogYik7CiAgICAgICAgICAgIH0KCiAgICAgICAgICAgIGFucyA9IG1heCh7YW5zLCBuZXcwW2pdLCBuZXcxW2pdfSk7CiAgICAgICAgfQogICAgICAgIGRwMC5zd2FwKG5ldzApOwogICAgICAgIGRwMS5zd2FwKG5ldzEpOwogICAgfQoKICAgIGNvdXQgPDwgYW5zOwp9Cg==