#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <functional>
#include <cmath>
#include <iomanip>
#include <stack>
#include <queue>
#include <numeric>
#include <map>
#include <unordered_map>
#include <set>
#include <fstream>
#include <chrono>
#include <random>
#include <bitset>
//#include <atcoder/all>
#define rep(i,n) for(int i=0;i<(n);i++)
#define all(x) x.begin(), x.end()
#define rall(x) x.rbegin(), x.rend()
#define sz(x) ((int)(x).size())
#define pb push_back
using ll = long long;
using namespace std;
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }
ll gcd(ll a, ll b) {return b?gcd(b,a%b):a;}
ll lcm(ll a, ll b) {return a/gcd(a,b)*b;}

int ok(string s,int x){
  return ((s[0]-'0')==x/2 || s[0]=='?') && ((s[1]-'0') == (x&1) || s[1]=='?');
}

string f(int a){
  string res = "";
  rep(i,4){
    res += (char)('0'+(a&1));
    a >>=1;
  }
  return res;
}

int no3(string a){
  if(a=="000" || a=="111") return 0;
  return 1;
}

int main(){
  int T; cin >> T;
  while(T--){
    int N; cin >> N;
    string S; cin >> S;
    vector dp(4,vector(4,vector<int>(N+1,0)));
    rep(i,4){
      if(ok(S.substr(0,2),i)){
        dp[i][i][2] = 1;
      }
    }
    for(int i=2;i<N;i++){
      char c = S[i];
      rep(j,4){
        rep(k,4){
          if(c=='0' || c=='?'){
            if(k!=0b00) dp[j][((k&1)<<1)+0][i+1] |= dp[j][k][i];
          }
          if(c=='1' || c=='?'){
            if(k!=0b11) dp[j][((k&1)<<1)+1][i+1] |= dp[j][k][i];
          }
        }
      }
    }
    int ans = 0;
    rep(j,4) rep(k,4){
      if(dp[j][k][N]==0) continue;
      int a = (k<<2)+j;
      string s = f(a);
      if(no3(s.substr(0,3)) && no3(s.substr(1,3))){
        ans|=1;
      }
    }
    if(ans) cout << "Yes\n";
    else cout << "No\n";
  }
  return 0;
}