#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;
}



京公网安备 11010502036488号