#include <iostream>
#include <math.h>
#include <string.h>
#define int long long
using namespace std;

long long dp[1000000+1];

struct group{
	int num,cost;
};



signed main(){
	int n,ans;
	long long m;
	cin>>n>>m;
	group a[n];
	int sum=0;
	for(int i=0;i<n;i++)
		cin>>a[i].num;
	for(int i=0;i<n;i++){
		cin>>a[i].cost;
		sum += a[i].cost*a[i].num;
	}
//	memset(dp1,0,sizeof(dp1));
//	memset(dp2,0,sizeof(dp2));
	for(int i=0;i<=sum;i++)
		dp[i] = 1;
	for(int i=1;i<=n;i++){
		for(int j=sum;j>=0;j--)
			for(int k=0;k<=min(j/a[i-1].cost,a[i-1].num);k++){
//				if(j-a[i-1].cost*k < 0)
//					cout<<"-";
				dp[j] = max(dp[j-a[i-1].cost*k]*k,dp[j]);
//				dp2[j] = k==0?dp1[j]:max(dp1[j-a[i-1].cost*k]*k,dp1[j]);
//				ans = dp2[j]>=m?min(ans,j):ans;
//				cout<<"sum="<<sum<<" i="<<i<<" j="<<j<<" k="<<k<<" ans="<<ans<<endl;
			}
//		memcpy(dp1,dp2,sizeof(dp1));
//		for(int j=0;j<=m;j++)
//			cout<<(dp1[j]==0x7fffffff?-1:dp1[j])<<" ";
//		cout<<endl;
	}
//	for(int i=0;i<=n;i++){
//		for(int j=0;j<=m;j++)
//			cout<<(dp1[j]==0x7fffffff?-1:dp1[j])<<" ";
//		cout<<endl;
//	}
	for(int i=0;i<=sum;i++)
		if(dp[i] >= m){
			ans = i;
			break;
		}
	cout<<ans;
	return 0;
}

/*
case 1 
IN:
5 10
1 2 3 4 5 
7 6 5 4 3
OUT: 
3*5+4*2+5*0+6*0+7*0=23

case 2 
IN:
3 5
10 5 10
33 1 33
OUT: 
5
*/