import sys
input = sys.stdin.readline

T=int(input())
for tests in range(T):
    N=int(input())
    S=list(input().strip())

    flag=1

    T=S+S+S+S
    flag=1

    DP=[[0]*4 for i in range(4*N)]
    # 00, 01, 10, 11

    DP[0]=[1,1,1,1]

    for i in range(1,4*N):
        if T[i]=="?":
            if DP[i-1][0]==1:
                DP[i][1]=1
            if DP[i-1][1]==1:
                DP[i][2]=1
                DP[i][3]=1
            if DP[i-1][2]==1:
                DP[i][0]=1
                DP[i][1]=1
            if DP[i-1][3]==1:
                DP[i][2]=1

        elif T[i]=="0":
            if DP[i-1][1]==1:
                DP[i][2]=1
            if DP[i-1][2]==1:
                DP[i][0]=1
            if DP[i-1][3]==1:
                DP[i][2]=1

        elif T[i]=="1":
            if DP[i-1][0]==1:
                DP[i][1]=1
            if DP[i-1][1]==1:
                DP[i][3]=1
            if DP[i-1][2]==1:
                DP[i][1]=1

        #print(i,DP)

        if DP[i][0]==DP[i][1]==DP[i][2]==DP[i][3]==0:
            flag=0
            break


    if flag==1:
        print("Yes")
    else:
        print("No")