#include <bits/stdc++.h>
using namespace std;
const int N=1e5+9;
int main() {
int n,x;cin>>n>>x;
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];
int ans=0;
for(int i=0;i<n;i++) ans+=min(a[i],b[i]);
cout<<min(ans,x);
}
// 64 位输出请用 printf("%lld")

京公网安备 11010502036488号