#include <bits/stdc++.h>
#define GET_MACRO(a, b, c, NAME, ...) NAME
#define rep(...) GET_MACRO(__VA_ARGS__, rep3, rep2)(__VA_ARGS__)
#define rep2(i, a) rep3 (i, 0, a)
#define rep3(i, a, b) for (int i = (a); i < (b); i++)
#define repr(...) GET_MACRO(__VA_ARGS__, repr3, repr2)(__VA_ARGS__)
#define repr2(i, a) repr3 (i, 0, a)
#define repr3(i, a, b) for (int i = (b) - 1; i >= (a); i--)
#define chmin(a, b) ((b) < a && (a = (b), true))
#define chmax(a, b) (a < (b) && (a = (b), true))
using namespace std;
typedef long long ll;

const ll inf = 2e18;
const ll MX = 252525;
ll dp[MX], A[500], K[500];

int main() {
	int N, M;
	cin >> N >> M;
	rep (i, N) cin >> A[i];
	rep (i, N) cin >> K[i];
	ll sum = 0;
	rep (i, N) sum += A[i] * K[i];
	ll D = sum - M;
	if (D < 0) {
		cout << -1 << endl;
		return 0;
	}	
	rep (i, MX) dp[i] = inf;
	dp[0] = 0;
	rep (i, N) rep (j, A[i], MX) {
		chmin(dp[j], dp[j - A[i]] + 1);
	}
	ll mx = A[N - 1];
	ll num = max(0ll, (D - MX) / mx + 1);
	ll ans = dp[D - num * mx] + num;
	if (ans >= inf) ans = -1;
	cout << ans << endl;
	return 0;
}