#include <bits/stdc++.h>
using namespace std;
#define int long long int
#define double long double
#define print(a) for(auto x : a) cout << x << " "; cout << endl
const int M = 1000000007;
const int N = 3e5+9;
const int INF = 2e9+1;
const int LINF = 2000000000000000001;
inline int power(int a, int b, int mod=M) {
int x = 1;
a %= mod;
while (b) {
if (b & 1) x = (x * a) % mod;
a = (a * a) % mod;
b >>= 1;
}
return x;
}
//_ ***************************** START Below *******************************
vector<int> a;
vector<int> b;
int consistency(int n, int k){
bool dp[n+1][k+1][151][151] = {false};
dp[0][0][0][0] = true;
for(int i = 1; i <= n; i++) {
dp[i][0][0][0] = true;
}
for(int i=1; i<=n; i++){
for(int j=1; j<=k; j++){
for(int s1=0; s1<=150; s1++){
for(int s2=0; s2<=150; s2++){
int x = a[i-1];
int y = b[i-1];
dp[i][j][s1][s2] = dp[i-1][j][s1][s2];
if(s1-x>= 0 && s2-y >= 0)
dp[i][j][s1][s2] = dp[i][j][s1][s2] || dp[i-1][j-1][s1-x][s2-y];
}
}
}
}
int ans = -INF;
for(int s1=0; s1<=150; s1++){
for(int s2=0; s2<=150; s2++){
if(dp[n][k][s1][s2]){
ans = max(ans, min(s1,s2));
}
}
}
return ans;
}
int practice(int n, int k){
return 0;
}
void solve() {
int n, k;
cin>> n >> k;
a.resize(n);
for(int i=0; i<n; i++) cin >> a[i];
b.resize(n);
for(int i=0; i<n; i++) cin >> b[i];
cout << consistency(n, k) << endl;
}
int32_t main() {
ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
int t = 1;
// cin >> t;
while (t--) {
solve();
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50ICAgICAgICAgICAgICBsb25nIGxvbmcgaW50CiNkZWZpbmUgZG91YmxlICAgICAgICAgICBsb25nIGRvdWJsZQojZGVmaW5lIHByaW50KGEpICAgICAgICAgZm9yKGF1dG8geCA6IGEpIGNvdXQgPDwgeCA8PCAiICI7IGNvdXQgPDwgZW5kbAoKCmNvbnN0IGludCBNID0gMTAwMDAwMDAwNzsKY29uc3QgaW50IE4gPSAzZTUrOTsKY29uc3QgaW50IElORiA9IDJlOSsxOwpjb25zdCBpbnQgTElORiA9IDIwMDAwMDAwMDAwMDAwMDAwMDE7CgppbmxpbmUgaW50IHBvd2VyKGludCBhLCBpbnQgYiwgaW50IG1vZD1NKSB7CiAgICBpbnQgeCA9IDE7CiAgICBhICU9IG1vZDsKICAgIHdoaWxlIChiKSB7CiAgICAgICAgaWYgKGIgJiAxKSB4ID0gKHggKiBhKSAlIG1vZDsgCiAgICAgICAgYSA9IChhICogYSkgJSBtb2Q7CiAgICAgICAgYiA+Pj0gMTsKICAgIH0KICAgIHJldHVybiB4Owp9CgoKLy9fICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqIFNUQVJUIEJlbG93ICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioKCgoKCnZlY3RvcjxpbnQ+IGE7CnZlY3RvcjxpbnQ+IGI7CgppbnQgY29uc2lzdGVuY3koaW50IG4sIGludCBrKXsKCglib29sIGRwW24rMV1baysxXVsxNTFdWzE1MV0gPSB7ZmFsc2V9OwoJCglkcFswXVswXVswXVswXSA9IHRydWU7CiAgICBmb3IoaW50IGkgPSAxOyBpIDw9IG47IGkrKykgewogICAgICAgIGRwW2ldWzBdWzBdWzBdID0gdHJ1ZTsKICAgIH0KCQoJZm9yKGludCBpPTE7IGk8PW47IGkrKyl7CgkJZm9yKGludCBqPTE7IGo8PWs7IGorKyl7CgkJCWZvcihpbnQgczE9MDsgczE8PTE1MDsgczErKyl7CgkJCQlmb3IoaW50IHMyPTA7IHMyPD0xNTA7IHMyKyspewoJCQkJCWludCB4ID0gYVtpLTFdOwoJCQkJCWludCB5ID0gYltpLTFdOwoJCQkJCQoJCQkJCWRwW2ldW2pdW3MxXVtzMl0gPSBkcFtpLTFdW2pdW3MxXVtzMl07CgkJCQkJCgkJCQkJaWYoczEteD49IDAgJiYgczIteSA+PSAwKQoJCQkJCQlkcFtpXVtqXVtzMV1bczJdID0gZHBbaV1bal1bczFdW3MyXSB8fCBkcFtpLTFdW2otMV1bczEteF1bczIteV07CgkJCQl9CgkJCX0KCQl9Cgl9CgkKCWludCBhbnMgPSAtSU5GOwoJCglmb3IoaW50IHMxPTA7IHMxPD0xNTA7IHMxKyspewoJCWZvcihpbnQgczI9MDsgczI8PTE1MDsgczIrKyl7CgkJCWlmKGRwW25dW2tdW3MxXVtzMl0pewoJCQkJYW5zID0gbWF4KGFucywgbWluKHMxLHMyKSk7CgkJCX0KCQl9Cgl9CgkKCXJldHVybiBhbnM7Cn0KCgoKCgoKCgoKCgoKCgoKaW50IHByYWN0aWNlKGludCBuLCBpbnQgayl7CgoKICAgIHJldHVybiAwOwp9CgoKCgoKdm9pZCBzb2x2ZSgpIHsKICAgIAogICAgaW50IG4sIGs7CiAgICBjaW4+PiBuID4+IGs7CiAgICAKICAgIGEucmVzaXplKG4pOwogICAgZm9yKGludCBpPTA7IGk8bjsgaSsrKSBjaW4gPj4gYVtpXTsKICAgIAogICAgYi5yZXNpemUobik7CiAgICBmb3IoaW50IGk9MDsgaTxuOyBpKyspIGNpbiA+PiBiW2ldOwogICAgCiAgICBjb3V0IDw8IGNvbnNpc3RlbmN5KG4sIGspIDw8IGVuZGw7CgoKfQoKCgoKCmludDMyX3QgbWFpbigpIHsKICAgIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oMCk7IGNpbi50aWUoMCk7IGNvdXQudGllKDApOwoKICAgIGludCB0ID0gMTsKICAgIC8vIGNpbiA+PiB0OwogICAgd2hpbGUgKHQtLSkgewogICAgICAgIHNvbHZlKCk7CiAgICB9CgogICAgcmV0dXJuIDA7Cn0=