#include <iostream>
#include <vector>
using namespace std;
int main() {
int n,x;
cin >> n >> x;
vector<int > ai(n,-1);
vector<int > bi(n,-1);
for(int i=0; i<n; ++i){
cin >> ai[i];
}
for(int i=0; i<n; ++i){
cin >> bi[i];
}
int tot=0;
for(int i=0; i<n; ++i){
tot += min(ai[i], bi[i]);
}
if(tot >x){
cout << x << endl;
}else{
cout << tot << endl;
}
}
// 64 位输出请用 printf("%lld")

京公网安备 11010502036488号