#include <bits/stdc++.h>

using namespace std;

#define For(i, a, n) for(int i =a;i<n;i++)
#define endl '\n'
#define vec vector

typedef long long ll;
typedef pair<ll, ll> pii;
template<typename... Args>
void dbg(Args&&... args){
    ((cerr<<args<<" |"),...);
    cerr<<endl;
}
template<class A, class B>
pair<A, B> operator+(const pair<A, B>&a, const pair<A, B>& b){
    return {a.first +b.first, a.second + b.second};
}
template<class A, class B>
ostream& operator<< (ostream& os, const pair<A, B>& a){
    return os<<"("<<a.first<<", "<<a.second<<")";
}
template<class A, class B, class C>
basic_ostream<A, B>& operator<<(basic_ostream<A, B>& os, const C&c){
    for(auto it=begin(c); it!=end(c);++it){
        os<<(it==begin(c)?"":" ")<<*it;
    }
    return os;
}
void solve(){

    ll n,m;
    cin >> n;
    string eggs; cin >> eggs;
    cin >> m;
    string regex; cin >> regex;

    vector<vector<pii>> prechody(27);
    ll last_state = 0;
    ll parentheses_open;
    ll pos = 0;
    while(pos < m){
        char znak = regex[pos];
        if(znak == '?'){
            last_state++;
            For(i,1,27){
                prechody[i].push_back({last_state-1,last_state});
            }
        }else if(znak == '['){
            pos++;
            last_state++;
            while(regex[pos] != ']'){
                prechody[regex[pos]-'a'+1].push_back({last_state-1,last_state});
                pos++;
            }
        }else if(znak == '*'){
            last_state++;
            prechody[0].push_back({last_state-1,last_state-2});
            prechody[0].push_back({last_state-2,last_state});
        }else if(znak == '('){
            parentheses_open = last_state;
            last_state++;
            prechody[0].push_back({last_state-1,last_state});
        }else if(znak == ')'){
            pos++;
            if(pos == m || regex[pos] != '*'){
                last_state++;
                prechody[0].push_back({last_state-1,last_state});
            }else{
                prechody[0].push_back({last_state,parentheses_open});
                last_state++;
                prechody[0].push_back({parentheses_open,last_state});
            }
        }else{
            last_state++;
            prechody[znak-'a'+1].push_back({last_state-1,last_state});
        }
        pos++;
    }
    vector<ll> dynamic(last_state+1);
    dynamic[0] = 0;
    For(i,1,last_state+1){
        dynamic[i] = -1;
    }
    while(true){
        bool changed = false;
        For(j,0,prechody[0].size()){
            pii prechod = prechody[0][j];
            if(dynamic[prechod.first]>dynamic[prechod.second]){
                changed = true;
                dynamic[prechod.second] = dynamic[prechod.first];
            }
        }
        if(!changed){
            break;
        }
    }
    dbg(dynamic);
    For(i,0,n){
        char znak = eggs[i];
        ll index = znak-'a'+1;
        vector<ll> nove;
        For(j,0,prechody[index].size()){
            pii prechod = prechody[index][j];
            if(dynamic[prechod.first] == -1){
                nove.push_back(-1);
            }else{
                nove.push_back(dynamic[prechod.first]+1);
            }
        }
        For(j,0,prechody[index].size()){
            pii prechod = prechody[index][j];
            dynamic[prechod.second] = max(nove[j],dynamic[prechod.second]);
        }
        while(true){
            bool changed = false;
            For(j,0,prechody[0].size()){
                pii prechod = prechody[0][j];
                if(dynamic[prechod.first]>dynamic[prechod.second]){
                    changed = true;
                    dynamic[prechod.second] = dynamic[prechod.first];
                }
            }
            if(!changed){
                break;
            }
        }
        dbg(dynamic);
        dbg(parentheses_open);
        dbg(prechody[0]);
    }
    cout << dynamic[last_state] << "\n";

}

main(){
    cin.tie(0)->sync_with_stdio(0);
    cin.exceptions(cin.failbit);
    int t=1;//cin>>t;
    while(t--){
        solve();
    }
}