#include <iostream>
#include <vector>
using namespace std;
class Solution{
public:
int minTime(int n, int m, vector<int> a, vector<int> b) {
for (int i = 0; i < m; i++) {
int max = 0, max_pos, c;
for (int j = 0; j < n; j++) {
if (a[j] / 2 >= b[j]) c = a[j] / 2;
else c = a[j] - b[j];
if (c > max) {
max = c;
max_pos = j;
}
}
a[max_pos] -= max;
}
int ans = 0;
for (int i = 0; i < n; i++) {
ans += a[i];
}
return ans;
}
};
int main() {
int n, m;
cin >> n >> m;
vector<int> a(n), b(n);
for (int i = 0; i < n; i++)
cin >> a[i];
for (int i = 0; i < n; i++)
cin >> b[i];
Solution sol;
cout << sol.minTime(n, m, a, b);
}
// 64 位输出请用 printf("%lld")