#include <iostream>
#include <atcoder/maxflow>
using namespace std;
using ll = long long;
const int mod = 998244353;
const int inf = 1 << 28;

int W, N, M;
int J[60], C[60];
bool X[60][60];
int main(void){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    
    cin >> W;
    cin >> N;
    for(int i = 0;i < N;i++)cin >> J[i];
    cin >> M;
    for(int i = 0;i < M;i++)cin >> C[i];
    for(int i = 0;i < M;i++){
        for(int j = 0;j < N;j++)X[j][i] = true;
        int q; cin >> q;
        for(int j = 0;j < q;j++){
            int x; cin >> x; x--;
            X[x][i] = false;
        }
    }
    atcoder::mf_graph<int> G(N + M + 2);
    int sv = N + M, tv = N + M + 1;
    for(int i = 0;i < N;i++){
        G.add_edge(sv, i, J[i]);
    }
    for(int i = 0;i < M;i++){
        G.add_edge(N + i, tv, C[i]);
    }
    for(int i = 0;i < N;i++){
        for(int j = 0;j < M;j++){
            if(X[i][j])G.add_edge(i, N + j, inf);
        }
    }
    int v = G.flow(sv, tv);
    cout << (v >= W ? "SHIROBAKO" : "BANSAKUTSUKITA") << "\n";
    return 0;
}