import sys
from sys import stdin

TT = int(stdin.readline())

for loop in range(TT):

    N = int(stdin.readline())
    S = list(stdin.readline()[:-1])

    flag = True

    while flag:
        flag = False
        for i in range(N):
            if S[i-2] == S[i-1] != "?" and S[i] == "?":
                S[i] = str(int(S[i-1]) ^ 1)
                flag = True
            if S[(i+1) % N] == S[i-1] != "?" and S[i] == "?":
                S[i] = str(int(S[i-1]) ^ 1)
                flag = True
            if S[(i+1) % N] == S[(i+2) % N] != "?" and S[i] == "?":
                S[i] = str(int(S[(i+1)%N]) ^ 1)
                flag = True
    
    ans = "Yes"

    for i in range(N):
        if S[i-2] == S[i-1] == S[i] != "?":
            ans = "No"
    
    print (ans)