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

由于本OJ无Special Judge ， 所以只需要判断是否存在满足要求的组卷方案

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

/
程序运行结束时，将组卷方案输出。
第i 行输出 “i：”后接类型i的题号。如果有多个满足要求的方案，只要输出1 个字典序最小的方案。如果问题无解，则输出“No
Solution!”。
/
一行，包含一个字符串 如果存在，输出"YES"(不包含引号)， 如果不存在,输出"No Solution!"(不包含引号)

无视被/* */包括的内容