# 文字列Sは最初の4字を最後にもくっつけて判断
# 000 or 111があればNo
# 00?11, 11?00があればNo
# あとはYes

T = int(input())
for t in range(T):
    N = int(input())
    S = input()
    S2 = S + S[:min(N, 4)]
    #print(S2)
    ans = 'Yes'
    if '000' in S2 or '111' in S2:
        ans = 'No'
    if '00?11' in S2 or '11?00' in S2:
        ans = 'No'
    print(ans)