时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld
题目描述
lhl322告诉Miaoyao，仅仅学好数学是不够的。想要在XCPC中取得好成绩，字符串类的题目就绕不开。于是，Miaoyao又开始研究起字符串来了……
对于一个01串，若其中0的个数与1的个数相同，我们称它是平衡的。
给出由0、1、?三种字符组成的01串。Miaoyao想知道是否存在一种方案，将每个'?'均改变为0或1中的一种，使得所有长度为k的子串都是平衡的。
对于一个01串，若其中0的个数与1的个数相同，我们称它是平衡的。
给出由0、1、?三种字符组成的01串。Miaoyao想知道是否存在一种方案，将每个'?'均改变为0或1中的一种，使得所有长度为k的子串都是平衡的。
输入描述:
第一行两个整数n, k，分别表示串的长度与要求平衡的子串长度。
接下来一行，一个长度为n的字符串，只包含0、1、?三种字符。
输出描述:
若存在这样的方案，输出"Yes"，否则输出"No"（均不包含引号）