该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

说明

斗地主是一种使用黑桃、红心、梅花、方片的 $A$ 到 $K$ 加上大小王的共 $54$ 张牌来进行的扑克牌游戏，其中大小王各一张，其他数码牌各四张。在斗地主中，牌的大小关系根据牌的数码表示如下：$3<4<5<6<7<8<9<10<J<Q<K<A<2$，而花色并不对牌的大小产生影响。在本题中，$1$ 表示 $A$，$11$ 表示 $J$，$12$ 表示 $Q$，$13$ 表示 $K$，斗地主规则与传统规则相同，且我们只会打出以下牌型：

$1.$炸弹：相同数码的四张牌，如 $5555$。

$2.$单牌：单独的一张牌，如 $6$。

$3.$对子：相同数码的两张牌，如 $77$。

$4.$三带一：相同数码的三张牌带上一张另外数码的单牌，如 $5551$。

$5.$三带二：相同数码的三张牌带上一个另外数码的对子，如 $22233$。

$6.$顺子：牌的大小连续的 $5$ 张及以上单牌，如 $34567$ 或 $456789$ 等。

今天天气不错，潘皇，$\texttt{chase}$， 小胖三个人正在打斗地主！

现在斗地主到了小胖的回合，小胖手里有 $n$ 张牌，并且上家潘皇打出了一副牌。小胖想知道她能不能打出一副大过潘皇的牌，于是她只好把这个问题交给你了。

输入格式

第一行输入一个整数 $T$，表示输入的数据组数。

接下来 $4 \times T$ 行，每组数据 $4$ 行，

第一行输入两个整数 $op, k$ 表示潘皇出牌的类型和牌的长度，

第二行输入 $k$ 个整数表示潘皇出的牌，

第三行输入一个整数 $n$，表示小胖手里的牌数。

第四行输入 $n$ 个整数表示小胖的手牌。

$1 \leq T \leq 1000$，$1 \leq op \leq 6$，$1 \leq k \leq 12$，$1 \leq n \leq 17$。

数据保证输入合法，且不会出现大小王，不保证手牌是有序的。

输出格式

对于每组数据，如果有一种方案使得小胖打出的牌大过潘皇，请输出一行 $\texttt{"yes"}$，否则输出一行 $\texttt{"no"}$。

样例

2
6 5
3 4 5 6 7
17
1 1 1 3 3 4 4 5 5 6 6 7 7 10 11 12 13 
1 4
5 5 5 5
4
3 3 3 3

yes
no

样例

3
4 4
8 8 8 3
6
1 1 1 2 2 2
3 2
6 6
3
8 8 2
4 4
6 6 6 2
5
5 4 3 2 1

yes
yes 
no

提示

如果你对斗地主不熟悉，你可以阅读以下内容：

$1.$三带一三带二的大小取决于那三张相同牌的数码

$2.$其他牌型的大小取决于牌中的最大的一张牌

$3.$炸弹大于其它任意牌型

$4.$顺子里不能出现 $2$。

$5.$两副顺子的长度是相等的。