#include <bits/stdc++.h>
using namespace std;
const int N = 1e6 + 10;
int n, m;
int a[N];
int f[N];
char s[N];
int main() {
  int t;
  cin >> t;
  while (t--) {
    bool flag = true;
    scanf("%d %d", &n, &m);
    scanf("%s", s + 1);
    for (int i = m + 1; i <= n; i++) {
      if (s[i] == '?' && s[i - m] != '?') {
        s[i] = s[i - m];
      }
      if (s[i] != '?' && s[i - m] == '?') {
        s[i - m] = s[i];
      }
      if (s[i] != '?' && s[i - m] != '?' && s[i] != s[i - m]) {
        flag = false;
        break;
      }
    }
    if (!flag) {
      printf("NO\n");
      continue;
    }
    for (int i = n; i >= m + 1; i--) {
      if (s[i] == '?' && s[i - m] != '?') {
        s[i] = s[i - m];
      }
      if (s[i] != '?' && s[i - m] == '?') {
        s[i - m] = s[i];
      }
      if (s[i] != '?' && s[i - m] != '?' && s[i] != s[i - m]) {
        flag = false;
        break;
      }
    }
    if (!flag) {
      printf("NO\n");
      continue;
    }
    int a = 0, b = 0, c = 0;
    for (int i = 1; i <= m; i++) {
      if (s[i] == '1')
        a++;
      else if (s[i] == '0')
        b++;
      else
        c++;
    }
    if (a + c >= b && b + c >= a) {
      printf("YES\n");
    } else
      printf("NO\n");
  }
  return 0;
}
