import sys
readline = sys.stdin.readline

T = int(readline())
for _ in range(T):
    N = int(readline())
    S = list(input().rstrip("\n"))
    dp = [[[0] * 4 for i in range(4)] for j in range(N + 1)]
    for i in range(4):
        dp[0][i][i] = 1
    for k in range(4):
        for i in range(N):
            for s in range(4):
                if S[i] == "0":
                    if s == 0:
                        continue
                    nex = s % 2 * 2
                    dp[i + 1][nex][k] |= dp[i][s][k]
                elif S[i] == "1":
                    if s == 3:
                        continue
                    nex = s % 2 * 2 + 1
                    dp[i + 1][nex][k] |= dp[i][s][k]
                else:
                    if s != 0:
                        nex = s % 2 * 2
                        dp[i + 1][nex][k] |= dp[i][s][k]
                    if s != 3:
                        nex = s % 2 * 2 + 1
                        dp[i + 1][nex][k] |= dp[i][s][k]
                        
    ans = 0
    for i in range(4):
        ans |= dp[N][i][i]
    print("Yes") if ans else print("No")