#include #include using namespace std; using namespace atcoder; #define rep(i, n) REP(i, 0, n) #define REP(i, s, e) for (int i = (s); i < (int)(e); i++) #define repr(i, n) REPR(i, n, 0) #define REPR(i, s, e) for (int i = (int)(s - 1); i >= (int)(e); i--) #define all(r) r.begin(), r.end() #define rall(r) r.rbegin(), r.rend() typedef long long ll; typedef vector vi; typedef vector vl; template T chmax(T& a, const U& b) { if (a >= b) return false; a = b; return true; } template T chmin(T& a, const U& b) { if (a <= b) return false; a = b; return true; } void yes_no(bool f, string yes = "Yes", string no = "No") { cout << (f ? yes : no) << "\n"; } unsigned int randxor() { static unsigned int x = 123456789, y = 362436069, z = 521288629, w = 88675123; unsigned int t; t = (x ^ (x << 11)); x = y; y = z; z = w; return (w = (w ^ (w >> 19)) ^ (t ^ (t >> 8))); } void solve() { int n; cin >> n; vi a(n); rep(i, n) cin >> a[i]; int m; cin >> m; vi b(m); rep(i, m) cin >> b[i]; sort(rall(b)); vi v(1 << n); rep(mask, 1 << n) rep(i, n) if (mask & (1 << i)) v[mask] += a[i]; vector dp(1 << n, 0); dp[0] = 1; int al = (1 << n) - 1; rep(i, m) { vector nxt = dp; rep(mask, 1 << n) { int sub = al - mask; for (int mask2 = sub; mask2 > 0; mask2 = (mask2 - 1) & sub) if (v[mask2] <= b[i]) { nxt[mask | mask2] |= dp[mask]; } } swap(nxt, dp); if (dp[al]) { cout << i + 1 << '\n'; return; } } cout << -1 << '\n'; } int main() { cin.tie(0); ios::sync_with_stdio(false); int t = 1; // cin >> t; rep(ti, t) solve(); return 0; }