# 左側から必要な変更を?に行う、次は右側から必要な変更を?に行う
# それで3連続があればアウト

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

    # from left
    for i in range(N):
        if S[i] == '?':
            # 1個前2個前双方ともに?のケースに注意
            if S[(i-2)%N] == S[(i-1)%N] == '0':
                S[i] = '1'
            if S[(i-2)%N] == S[(i-1)%N] == '1':
                S[i] = '0'

    # from right
    for i in range(N-1, -1, -1):
        if S[i] == '?':
            if S[(i+2)%N] == S[(i+1)%N] == '0':
                S[i] = '1'
            if S[(i+2)%N] == S[(i+1)%N] == '1':
                S[i] = '0'

    ans = 'Yes'
    for i in range(N):
        if S[(i-2)%N] == S[(i-1)%N] == S[(i)%N] == '0':
            ans = 'No'
        if S[(i-2)%N] == S[(i-1)%N] == S[(i)%N] == '1':
            ans = 'No'

    print(ans)