// includes #include // macros #define ll long long int #define pb emplace_back #define mk make_pair #define pq priority_queue #define FOR(i, a, b) for(int i=(a);i<(b);++i) #define rep(i, n) FOR(i, 0, n) #define rrep(i, n) for(int i=((int)(n)-1);i>=0;i--) #define all(x) (x).begin(),(x).end() #define sz(x) ((int)(x).size()) #define UNIQUE(v) v.erase(unique(v.begin(), v.end()), v.end()) #define FI first #define SE second using namespace std; // types typedef pair P; typedef pair Pl; typedef pair Pll; typedef pair Pd; // constants const int inf = 1e9; const ll linf = 1LL << 50; const double EPS = 1e-10; const int mod = 1e9 + 7; // solve template bool chmax(T &a, const T &b){if(a < b){a = b; return 1;} return 0;} template bool chmin(T &a, const T &b){if(a > b){a = b; return 1;} return 0;} template istream &operator>>(istream &is, vector &vec){for(auto &v: vec)is >> v; return is;} int dp[12][1025]; int main(int argc, char const* argv[]) { ios_base::sync_with_stdio(false); cin.tie(0); int n; cin >> n; vector a(n); cin >> a; int m; cin >> m; vector b(m); cin >> b; sort(all(b), greater()); for(int i = 0; i <= m+1; i++){ for(int j = 0; j <= (1<= 0; i--){ for(int j = 0; j < (1 << n); j++){ dp[i][j] = inf; for(int t = j; ; t=(t-1)&j){ int sum = 0; for(int k = 0; k < n; k++){ if((t >> k) % 2 == 1)sum += a[k]; } if(sum <= b[i] && dp[i+1][j & (~t)] >= 0){ dp[i][j] = min(dp[i][j], (sum == 0 ? 0: 1) + dp[i+1][j & (~t)]); } if(t == 0)break; } if(dp[i][j] == inf)dp[i][j] = -1; } } cout << dp[0][(1<