#include using namespace std; #undef _P #define _P(...) (void)printf(__VA_ARGS__) #define FORR(x,arr) for(auto&& x:arr) #define FOR(i,a,b) for (int i = (a); i < (b); i++) #define RFOR(i,a,b) for (int i = (b)-1; i >= (a); i--) #define REP(i,n) for (int i = 0; i < (n); i++) #define RREP(i,n) for (int i = (n)-1; i >= 0; i--) #define ALL(x) (x).begin(), (x).end() #define ITR(x,c) for(__typeof(c.begin()) x=c.begin();x!=c.end();x++) #define RITR(x,c) for(__typeof(c.rbegin()) x=c.rbegin();x!=c.rend();x++) #define BIT(n) (1LL<<(n)) #define SZ(x) ((int)(x).size()) typedef long long ll; // ------------------------------------- int n; ll m; ll a[500]; ll k[500]; template inline bool amax(T &a, const T &b) { if (a < b) { a = b; return 1; } return 0; } template inline bool amin(T &a, const T &b) { if (b < a) { a = b; return 1; } return 0; } void Main() { cin >> n >> m; ll ma=0; REP(i, n) cin >> a[i]; REP(i, n) cin >> k[i]; ll s = -m; REP(i, n) { amax(ma, a[i]); s += a[i] * k[i]; } if (s < 0) { puts("-1"); return; } ll ma2=ma*ma; ll ans = (s - s % ma2) / ma; s %= ma2; int dp[ma2+1]; memset(dp, 0x3f, sizeof(dp)); dp[0] = 0; REP(i, n) { REP(j, ma2+1) { if (dp[j] < 1e9) { if (j+a[i] <= ma2) amin(dp[j+a[i]], dp[j]+1); } } } cout << (dp[s] > 1e9 ? -1 : (ans + dp[s])) << endl; } int main() {Main(); return 0; }