#include <iostream>
#include <vector>
using namespace std;
int main() {
int n,x;
cin>>n>>x;
vector<int> price1(n),price2(n);
for (int i=0; i<n; ++i) {
cin>>price1[i];
}
for (int i=0; i<n; ++i) {
cin>>price2[i];
}
int all_price=0;
for (int i=0; i<n; ++i) {
all_price+=((price1[i]<price2[i])?price1[i]:price2[i]);
}
cout<<((all_price<x)?all_price:x);
}
// 64 位输出请用 printf("%lld")

京公网安备 11010502036488号