def solve(n, s):
	t = s + s
	if '111' in t or '000' in t:
		return False
	if '11?00' or '00?11' in t:
		return False
	if '11?0?11' or '00?1?00' in t:
		return False
	return True

for tc in range(int(input())):
	n = int(input())
	s = input()
	print("Yes" if solve(n, s) else "No")