t = int(input())
for _ in range(t):
    n = int(input())
    s = list(input())

    if len(s)>3:
        for i in range(n):
            if s[i%n:(i+3)%n]==['0','0','?']:
                s[((i+2)%n)]='1'
            if s[i%n:(i+3)%n]==['1','1','?']:
                s[((i+2)%n)]='0'
        r = s[::-1]
        for i in range(n):
            if r[i%n:(i+3)%n]==['0','0','?']:
                r[((i+2)%n)]='1'
            if r[i%n:(i+3)%n]==['1','1','?']:
                r[((i+2)%n)]='0'
    else:
        r = s
    if '000' in ''.join(r+r) or '111' in ''.join(r+r):
        print('No')
    else:
        print('Yes')