#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")