#include<iostream>
#include<set>
#include<algorithm>
#include<vector>
#include<string>
#include<set>
#include<map>
#include<numeric>
#include<queue>
#include<cmath>
using namespace std;
typedef long long ll;
const ll INF=1LL<<60;
typedef pair<int,int> P;
typedef pair<int,P> PP;
const ll MOD=998244353;
const double PI=acos(-1);


bool solve(int N,string S){


    for(int t=0;t<2;t++){
        for(int i=0;i<2*N;i++){
            if(S[i%N]!='?' && (S[i%N]==S[(i+1)%N] && S[(i+2)%N]=='?'))
            {
                S[(i+2)%N]=(char)((1-(S[i%N]-'0'))+'0');
            }

        }
        reverse(S.begin(),S.end());
    }



    for(int i=0;i<N;i++){
        if(S[i]!='?' && (S[i]==S[(i+1)%N] && S[(i+1)%N]==S[(i+2)%N]) ){
            return false;
        }
    }

    return true;

}


int main(){
    int T;
    cin>>T;
    for(int t=0;t<T;t++){
        int N;
        cin>>N;
        string S;
        cin>>S;
        bool flag=solve(N,S);

        cout<<(flag?"Yes":"No")<<endl;
        


    }//テストケースtの終了
}