#define _CRT_SECURE_NO_WARNINGS // #define _GLIBCXX_DEBUG #include using namespace std; typedef long long ll; // #define int ll typedef vector vi; typedef vector vvi; typedef pair pii; #define all(c) begin(c), end(c) #define range(i,a,b) for(ll i=a; i ostream & operator << (ostream &os, vector const &); template typename enable_if<(n>=sizeof...(T))>::type _ot(ostream &, tuple const &){} template typename enable_if<(n< sizeof...(T))>::type _ot(ostream &os, tuple const &t){ os << (n==0?"":" ") << get(t); _ot(os, t); } template ostream & operator << (ostream &os, tuple const &t){ _ot<0>(os, t); return os; } template ostream & operator<<(ostream &os, pair const &p){ return os << "(" << p.first << ", " << p.second << ") "; } template ostream & operator<<(ostream &os, vector const &v){ rep(i,v.size()) os << v[i] << (i+1==(int)v.size()?"":" "); return os; } #ifdef DEBUG #define dump(...) (cerr << #__VA_ARGS__ << " = " << mt(__VA_ARGS__) \ << " [" << __LINE__ << "]" << endl) #else #define dump(...) #endif void fastios(){ ios_base::sync_with_stdio(0); cin.tie(0); // #define endl '\n' } template size_t uniq(vector &v){ sort(v.begin(), v.end()); v.erase(unique(v.begin(), v.end()), v.end()); return v.size(); } template size_t uniq(T *l, size_t n){ sort(l,l+n); return unique(l,l+n) - l; } #define mems(arr,val) memset(arr,val,sizeof(arr)); int const mod = 1000000007; int const inf = numeric_limits::max()/8; typedef int Capacity; struct Edge { int src, dst; Capacity cap; Edge(int src_, int dst_, int cap_) : src(src_), dst(dst_), cap(cap_) { } }; typedef vector Edges; typedef vector Graph; typedef vector Array; typedef vector Matrix; template struct max_flow { typedef vector> Matrix; size_t n; Matrix cap, flow; vector vis; Capacity res; max_flow(const int s, const int t, const Graph &g) : n(g.size()), cap(n, Array(n)), flow(n, Array(n)) { for(size_t i = 0; i < g.size(); i++){ for(size_t j = 0; j < g[i].size(); j++){ int u = g[i][j].src, v = g[i][j].dst; Capacity c = g[i][j].cap; cap[u][v] = flow[v][u] = c; flow[u][v] = 0; } } res = solve(s, t); } Capacity augment(const int v, const int t, Capacity lim){ vis[v] = true; if(v == t) return lim; for(size_t i = 0; i < n; i++){ if(vis[i] || cap[v][i] <= flow[v][i]) continue; Capacity f = augment(i, t, min(lim, cap[v][i] - flow[v][i])); flow[v][i] += f, flow[i][v] -= f; if(f) return f; } return 0; } Capacity solve(const int s, const int t){ Capacity res = 0, f = -1; while(f) vis.assign(n,false), res += (f = augment(s,t,inf)); return res; } }; ll W,N; ll J[60]; ll M; ll C[60]; bool ok[60][60]; int main(){ while(cin >> W){ cin >> N; rep(i,N) cin >> J[i]; cin >> M; rep(i,M) cin >> C[i]; rep(i,N)rep(j,M) ok[i][j] = true; rep(i,M){ int Q; cin >> Q; rep(j,Q){ int X; cin >> X; X--; ok[X][i] = false; } } int S = N+M, T = N+M+1; Graph g(N+M+2); rep(i,N){ g[S].eb(S,i,J[i]); } rep(i,N)rep(j,M){ if(ok[i][j]){ g[i].eb(i,N+j,min(J[i],C[j])); } } rep(i,M){ g[i+N].eb(i+N,T,C[i]); } ll f = max_flow<>(S,T,g).res; dump(f); puts(f >= W ? "SHIROBAKO" : "BANSAKUTSUKITA"); } }