T = int(input())
for t in range(T):
    N = int(input())
    S = list(input())
    dp = [[0,0] for _ in range(N)]
    for i in range(2):
        if S[i] != '0':
            dp[i][1] = 1
        if S[i] != '1':
            dp[i][0] = 1
    for i in range(2, N+2):
        p,q,r = (i-2)%N, (i-1)%N, i%N
        if S[r] != '0':
            if dp[p][0] == dp[q][0] == 1 or dp[p][0] == dp[q][1] == 1 or dp[p][1] == dp[q][0] == 1:
                dp[r][1] = 1
            else:
                dp[r][1] = 0
        if S[r] != '1':
            if dp[p][0] == dp[q][1] == 1 or dp[p][1] == dp[q][0] == 1 or dp[p][1] == dp[q][1] == 1:
                dp[r][0] = 1
            else:
                dp[r][0] = 0
    if dp[1][0] == 1 or dp[1][1] == 1:
        print('Yes')
    else:
        print('No')