1 #include <iostream>
 2 #include <stdio.h>
 3 #include <cstring>
 4 #include <algorithm>
 5 #define INF 0x0ffffffa
 6 using namespace std;
 7 const int N=120;
 8 const int limit=30000;
 9 int n, t;
10 int com[limit];    //完全背包
11 int mul[limit];    //多重背包
12 int big;
13 struct node
14 {
15     int v,c;
16 }coin[N];
17
18 int cal()
19 {
20     for(int i=1; i<=big*big; i++)        com[i]=INF;
21     com[0]=0;
22     for(int i=0; i<n; i++)        //完全背包
23     {
24         for(int j=0; j+coin[i].v<=big*big; j++) //上限big*big
25         {
26             if(com[j+coin[i].v]>com[j]+1)
27                 com[j+coin[i].v]= com[j]+1 ;
28         }
29
30     }
31
32     int upto= t+ big*big;   //多重背包上限
33     for(int i=1; i<=upto; i++)        mul[i]=INF;
34     mul[0]=0;
35     for(int i=0; i<n; i++ )        //多重背包：01背包+二进制
36     {
37         int k=1,tmp=coin[i].c;
38         while(1)
39         {
40             if(k>tmp&&tmp)    k=tmp;
41             else if(k>tmp)        break;
42             for(int j=upto; j>=k*coin[i].v; j-- )
43                 if(mul[j-k*coin[i].v ]!=INF&&mul[j-k*coin[i].v]+k<mul[j])
44                     mul[j]=mul[j-k*coin[i].v]+k;
45             tmp-=k;
46             k<<=1;
47         }
48     }
49     int ans=mul[t]; //刚好给t元
50     for(int i=t+1,j=1; i<upto; i++,j++ )
51     {
52         if(com[j]==INF || mul[i]==INF)    continue;   //INF的表示不能刚好凑成这个价，滤掉。
53         else if(ans>mul[i]+com[j] )    ans= mul[i]+com[j];
54     }
55
56     if(ans==INF)    return -1;
57     return ans;
58 }
59 int main()
60 {
61     //freopen("input.txt","r",stdin);
62     while(cin>>n>>t)
63     {
64         big=-1;
65         for(int i=0; i<n; i++)
66         {
67             scanf("%d",&coin[i].v);
68             if(big<coin[i].v)    big=coin[i].v;
69         }
70         for(int i=0; i<n; i++)    scanf("%d",&coin[i].c);
71         printf("%d\n",cal());
72     }
73
74     return 0;
75 }