求一下这道题的AC代码：

---

给定一个长度为 n 的序列，序列中没有相同的数，问能否将其划分为 k 个长度为 n ÷ k 的严格递增子序列。

输入格式

本题在单个测试点内有多组测试数据。

第一行是一个整数 t ，表示数据组数。

接下来输入 t 组数据，对于每一组数据，有两行。第一行，两个整数 n 和 k ； 第二行，是 n 个数，表示一个序列。

输出格式

输出共有 t 行。 对于每组数据，如果存在一种划分，则输出 Yes ，否则输出No 。

输入样例

2

6 2

3 1 4 5 8 7

6 2

3 2 1 6 5 4

输出样例

Yes

No

【数据规模与约定】

对于所有数据，t ≤ 100，n % k = 0， 0 < k ≤ n。

对于30% 的数据，n ≤ 20。

对于60% 的数据，n ≤ 100。

对于100% 的数据，n ≤ 2000。