# 最初のアルゴリズムは間違っていた
# たとえば11?0?11だと、3個続きができてしまう
# その拡張バージョン11?0?1?00でも3個続きができてしまう
# ?が自動的に決まってしまい詰んでしまう

# 確定のところを確定させる、それで詰んでいるかをチェック
# まず前から見て、2連続数字に続く?は異なる数字に変える必要ある
# 今度は後ろから見て同じことを行う
# それで3連続があればNo
# 2連続、3連続判定は周期を見れるように%Nとする

T = int(input())
for t in range(T):
    N = int(input())
    S = list(input())

    for i in range(N):
        if S[i] == '?' and S[(i-1)%N] == S[(i-2)%N] and S[(i-1)%N] != '?':
            S[i] = str(int(S[(i-1)%N])^1)
    #print(S)
    for i in range(N-1, -1, -1):
        if S[i] == '?' and S[(i+1)%N] == S[(i+2)%N] and S[(i+1)%N] != '?':
            S[i] = str(int(S[(i+1)%N])^1)   
    #print(S)
    ans = 'Yes'
    for i in range(N):
        if S[i] == S[(i-1)%N] == S[(i-2)%N]:
            ans = 'No'
    print(ans)
    #print(S)