for _ in range(int(input())):
    n = int(input())
    S = list(input())
    flag = True
    for _ in range(2):
        for i in range(n):
            C = [0, 0]
            q_idx = []
            for j in range(3):
                if S[(i + j) % n] == '0':
                    C[0] += 1
                elif S[(i + j) % n] == '1':
                    C[1] += 1
                else:
                    q_idx.append((i + j) % n)
            if C[0] == 3 or C[1] == 3:
                flag = False
                break
            if C[0] == 2 and C[1] == 0:
                S[q_idx[0]] = '1'
            if C[1] == 2 and C[0] == 0:
                S[q_idx[0]] = '0'
        if not flag:
            break
    if flag:
        print("Yes")
    else:
        print("No")