package contest; import java.io.ByteArrayInputStream; import java.io.IOException; import java.io.InputStream; import java.io.PrintWriter; import java.util.Arrays; import java.util.InputMismatchException; import java.util.Random; public class Q333_2 { InputStream is; PrintWriter out; String INPUT = ""; void solve() { int n = ni(); long m = nl(); int[] a = na(n); long[] K = new long[n]; for(int i= 0;i < n;i++)K[i] = nl(); long all = 0; for(int i = 0;i < n;i++)all += K[i] * a[i]; if(all < m){ out.println(-1); return; } out.println(minRepresentation(all-m, a)); } long minRepresentation(long x, int[] a) { Arrays.sort(a); int n = a.length; int m = a[n-1]; int lim = (int)Math.min(x, m*m); int[] dp = new int[lim+1]; int I = 999999999; Arrays.fill(dp, I); dp[0] = 0; for(int v : a){ for(int i = 0;i < v;i++){ for(int j = i+v;j <= lim;j+=v){ if(dp[j] > dp[j-v] + 1){ dp[j] = dp[j-v] + 1; } } } } if(x <= m*m){ return dp[(int)x] >= I ? -1 : dp[(int)x]; }else{ return dp[(int)(x%m+m*(m-1))] + (x/m-(m-1)); } } void run() throws Exception { int n = 500, m = 99999; Random gen = new Random(0); StringBuilder sb = new StringBuilder(); sb.append(n + " "); sb.append(100 + " "); for (int i = 0; i < n; i++) { sb.append(i+1 + " "); } for (int i = 0; i < n; i++) { sb.append(Math.abs((gen.nextLong() % 1000000000000L)) + " "); } INPUT = sb.toString(); is = INPUT.isEmpty() ? System.in : new ByteArrayInputStream(INPUT.getBytes()); out = new PrintWriter(System.out); long s = System.currentTimeMillis(); solve(); out.flush(); if(!INPUT.isEmpty())tr(System.currentTimeMillis()-s+"ms"); } public static void main(String[] args) throws Exception { new Q333_2().run(); } private byte[] inbuf = new byte[1024]; private int lenbuf = 0, ptrbuf = 0; private int readByte() { if(lenbuf == -1)throw new InputMismatchException(); if(ptrbuf >= lenbuf){ ptrbuf = 0; try { lenbuf = is.read(inbuf); } catch (IOException e) { throw new InputMismatchException(); } if(lenbuf <= 0)return -1; } return inbuf[ptrbuf++]; } private boolean isSpaceChar(int c) { return !(c >= 33 && c <= 126); } private int skip() { int b; while((b = readByte()) != -1 && isSpaceChar(b)); return b; } private double nd() { return Double.parseDouble(ns()); } private char nc() { return (char)skip(); } private String ns() { int b = skip(); StringBuilder sb = new StringBuilder(); while(!(isSpaceChar(b))){ // when nextLine, (isSpaceChar(b) && b != ' ') sb.appendCodePoint(b); b = readByte(); } return sb.toString(); } private char[] ns(int n) { char[] buf = new char[n]; int b = skip(), p = 0; while(p < n && !(isSpaceChar(b))){ buf[p++] = (char)b; b = readByte(); } return n == p ? buf : Arrays.copyOf(buf, p); } private char[][] nm(int n, int m) { char[][] map = new char[n][]; for(int i = 0;i < n;i++)map[i] = ns(m); return map; } private int[] na(int n) { int[] a = new int[n]; for(int i = 0;i < n;i++)a[i] = ni(); return a; } private int ni() { int num = 0, b; boolean minus = false; while((b = readByte()) != -1 && !((b >= '0' && b <= '9') || b == '-')); if(b == '-'){ minus = true; b = readByte(); } while(true){ if(b >= '0' && b <= '9'){ num = num * 10 + (b - '0'); }else{ return minus ? -num : num; } b = readByte(); } } private long nl() { long num = 0; int b; boolean minus = false; while((b = readByte()) != -1 && !((b >= '0' && b <= '9') || b == '-')); if(b == '-'){ minus = true; b = readByte(); } while(true){ if(b >= '0' && b <= '9'){ num = num * 10 + (b - '0'); }else{ return minus ? -num : num; } b = readByte(); } } private static void tr(Object... o) { System.out.println(Arrays.deepToString(o)); } }