#include<bits/stdc++.h>
namespace {
#pragma GCC diagnostic ignored "-Wunused-function"
#include<atcoder/all>
#pragma GCC diagnostic warning "-Wunused-function"
using namespace std;
using namespace atcoder;
#define rep(i,n) for(int i = 0; i < (int)(n); i++)
#define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--)
#define all(x) begin(x), end(x)
#define rall(x) rbegin(x), rend(x)
template<class T> bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; }
template<class T> bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; }
using ll = long long;
using P = pair<int,int>;
using VI = vector<int>;
using VVI = vector<VI>;
using VL = vector<ll>;
using VVL = vector<VL>;

} int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  int tt;
  cin >> tt;
  while(tt--) {
    int n;
    string s;
    cin >> n >> s;
    s += '_';
    s += '_';
    bool ok = false;
    rep(s0, 2) rep(s1, 2) {
      if (s[0] != '?' && s[0] - '0' != s0) continue;
      if (s[1] != '?' && s[1] - '0' != s1) continue;
      s[n] = '0' + s0;
      s[n + 1] = '0' + s1;
      using A = array<array<bool, 2>, 2>;
      A dp{};
      dp[s0][s1] = true;
      for(int i = 2; i < n + 2; i++) {
        A ndp{};
        rep(nc, 2) if (s[i] == '?' || s[i] - '0' == nc) {
          rep(c1, 2) rep(c2, 2) if (dp[c1][c2] && !(c1 == c2 && c2 == nc)) {
            ndp[c2][nc] = true;
          }
        }
        dp = ndp;
      }
      rep(i, 2) rep(j, 2) ok |= dp[i][j];
    }
    cout << (ok ? "Yes\n" : "No\n");
  }
}