连续的 1

时间限制：2s
空间限制：512MB

题目描述

给定一个只包含 0、1、? 的长度为 $N$ 的字符串 $S=S_1S_2\dots S_N$。你需要将所有 ? 替换为 0 或 1，使得替换后的字符串恰好包含 $K$ 个连续的 1，其余位置均为 0。请判断是否恰好存在一种满足条件的替换方式。

有 $T$ 组测试数据，请分别输出答案。

输入格式

第一行包含一个整数 $T$。每组数据包含两行：第一行包含 $N,K$，第二行包含字符串 $S$。

输出格式

输出 $T$ 行。若第 $i$ 组数据恰好存在一种满足条件的替换方式，输出 Yes，否则输出 No。

样例输入 1

4
3 2
1??
4 2
?1?0
6 3
011?1?
10 5
00?1???10?

样例输出 1

Yes
No
No
Yes

数据范围

• $1\le T\le 10^5$；
• $1\le K<N\le 3\times 10^5$；
• $S$ 只包含 0、1、?，且长度为 $N$；
• 单个输入中所有测试数据的 $N$ 之和不超过 $3\times 10^5$。