#include <stdio.h>
typedef long long ll;

int min(int a, int b){
    return a > b ? b : a;
}
int main(void) {
    ll n, x;
    scanf("%lld%lld", &n, &x);

    int a[100005];
    for(int i = 0; i < n; i++)
        scanf("%d", &a[i]);

    int b[100005];
    for(int i = 0; i < n; i++)
        scanf("%d", &b[i]);

    ll sum = 0;
    for(int k = 0; k < n; k++){
        sum += min(a[k], b[k]);
    }
    if(sum < x)
        printf("%lld", sum);
    else
        printf("%lld", x);
    
    return 0;
}