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