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