### 问题描述 大衣有两个长度为 $N$ 的字符串数组 $A,B$ 和一个正整数 $K$。 对于所有 $1\le i\le N​$，$A_i​$ 和 $B_i​$ 都仅包含字符 $0\sim9​$。 你可以对数组 $A​$ 进行以下操作： - 操作 $1​$：选择两个索引 $i,j(i\ne j)​$，然后交换 $A_i​$ 的一个字符和 $A_j​$ 的一个字符，该操作的消耗为 $0​$。 - 操作 $2$：选择一个索引 $i$，然后将任一字符 $0\sim9$ 替代 $A_i$ 的一个字符，该操作的消耗为 $1$。 请问是否能通过进行任意次数的操作，使得数组 $A$ 最终和数组 $B$ 相等，并且总消耗 $\le K​$。 ### 输入格式 第一行输入一个正整数 $T$ 表示测试数据的组数。 对于 $T$ 组测试数据每组输入三行： - 第一行输入两个正整数 $N,K$ 分别表示数组的长度和总消耗的上界。 - 第二行输入 $N$ 个字符串 $A_1,A_2,\cdots,A_N$ 表示数组 $A​$ 的元素。 - 第三行输入 $N$ 个字符串 $B_1,B_2,\cdots,B_N$ 表示数组 $B$ 的元素。 ### 输出格式 对于每组测试数据，如果能在操作后满足题目要求输出 $YES$，否则输出 $NO$，并换行。 ### 样例输入1 ```text 3 2 2 1 9 9 1 2 2 1 11 11 1 4 1 22 13 12 89 28 98 21 31 ``` ### 样例输出1 ```text YES NO YES ``` ### 说明 - 样例 $1$：我们可以进行操作 $1$ 将 $A_1$ 的字符 $1$ 和 $A_2$ 的字符 $9$ 交换，此时数组 $A$ 变成 `[9,1]` 和数组 $B$ 相等，消耗为 $0\le 2​$。 - 样例 $2$：不可能使数组 $A$ 等于数组 $B$。 ### 评测数据规模 对于所有的评测数据，$1\le T\le 20$，$2\le N\le 10^4$，$1\le K\le 10^9$，字符串 $A_i,B_i$ 仅包含字符 $0\sim9$ 且长度不超过 $2$。