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