#include <iostream>
using namespace std;
int main() {
int n, x;
int cost=0;
cin >> n >> x;
int a[100000];
int b[100000];
for(int i = 0;i<n;i++){
cin>> a[i];
}
for(int i=0;i<n;i++){
cin>> b[i];
}
for(int i=0;i<n;i++)
{
cost=cost+min(a[i],b[i]);
}
cout<<min(cost,x)<<endl;
}
// 64 位输出请用 printf("%lld")

京公网安备 11010502036488号