#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using P = pair<ll,ll>;
#define fix(x) fixed << setprecision(x)
#define asc(x) x, vector<x>, greater<x>
#define rep(i, n) for(ll i = 0; i < n; i++)
#define all(x) (x).begin(),(x).end()
template<class T>bool chmin(T&a, const T&b){if(a>b){a=b;return 1;}return 0;}
template<class T>bool chmax(T&a, const T&b){if(a<b){a=b;return 1;}return 0;}
constexpr ll INFLL = (1LL << 62), MOD = 998244353;
constexpr int INF = (1 << 30);

bool f(string &s, int i){
    int n = s.size();
    if(s[(i-1+n)%n]==s[i] && s[i]!='?'){
        if(s[(i+1)%n]==s[i]) return false;
        s[(i+1)%n] = !(s[i]-'0')+'0';
    }
    if(s[(i-1+n)%n]==s[(i+1)%n] && s[(i+1)%n]!='?'){
        if(s[i]==s[(i+1)%n]) return false;
        s[i] = !(s[(i+1)%n]-'0')+'0';
    }
    if(s[i]==s[(i+1)%n] && s[(i+1)%n]!='?'){
        if(s[(i-1+n)%n]==s[i]) return false;
        s[(i-1+n)%n] = !(s[i]-'0')+'0';
    }
    return true;
}

int main(){
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    int t;
    cin >> t;
    rep(houren,t){
        int n;
        string s;
        cin >> n >> s;
        bool ans = true;
        rep(i,n) if(!f(s,i)) ans = false;
        rep(i,n) if(!f(s,n-1-i)) ans = false;
        rep(i,n) if(!f(s,i)) ans = false;
        cout << (ans?"Yes\n":"No\n");
    }
    return 0;
}