def solve(S):
	S+=S
	dp=[0]*4
	for i in range(4):
		if S[0] in {'?',str(i//2)}:
			if S[1] in {'?',str(i%2)}:
				dp[i]=1
	for s in S[2:]:
		ndp=[0]*4
		for i in range(4):
			for j in range(2):
				if s not in {'?',str(j)}: continue
				k=(i<<1)|j
				if k not in {0,7}:
					ndp[k&3]|=dp[i]
		dp=ndp
	return 'Yes' if sum(dp) else 'No'

T=int(input())
ans=[]
for _ in range(T):
	_=int(input())
	S=input()
	ans.append(solve(S))

print(*ans,sep='\n')