#include<atcoder/all>
using namespace std;

int main(){
    int N, A, C;
    cin >> N >> A;
    vector<int> B(A);
    for(auto &&v:B)cin >> v;
    cin >> C;
    vector<int> D(C);
    for(auto &&v:D)cin >> v;
    sort(B.rbegin(), B.rend());
    sort(D.begin(), D.end());
    atcoder::mf_graph<int> g(A + C + 2);
    int s = A + C, t = s + 1;
    for(int i = 0; i < A; i++){
        g.add_edge(s, i, N / A + (i < N % A));
        for(int j = 0; j < C && B[i] > D[j]; j++){
            g.add_edge(i, A + j, min(N / A, N / C) + 1);
        }
    }
    for(int i = 0; i < C; i++){
        g.add_edge(A + i, t, N / C + (i < N % C));
    }
    cout << g.flow(s, t) << endl;
}