2098_试题库

假设一个试题库中有n道试题。每道试题都标明了所属类别。同一道题可能有多个类别属性。现要从题库中抽取m道题组成试卷。并要求试卷包含指定类型的试题。对于给定的组卷要求，计算满足要求的组卷方案。

输入第一行是2个正整数n和k  ( 2 ≤ k ≤ 20, k ≤ n ≤ 1000) ，k 表示题库中试题类型总数，n 表示题库中试题总数。第二行有k个正整数，第i个正整数表示要选出的类型i的题数。这k个数相加就是要选出的总题数m。接下来的n行给出了题库中每个试题的类型信息。每行的第一个正整数p表明该题可以属于p类，接着的p个数是该题所属的类型号。

输出组卷方案。第i行输出 "i: "后接类型i的题号。如果有多个满足要求的方案，只要输出一个方案。如果问题无解，则输出 "No Solution"

3 15
3 3 4
2 1 2
1 3
1 3
1 3
1 3
3 1 2 3
2 2 3
2 1 3
1 2
1 2
2 1 2
2 1 3
2 1 2
1 1
3 1 2 3

1: 1 6 8
2: 7 9 10
3: 2 3 4 5