Using CC(C)(C)c1cc(C(=O)CBr)cc(C(C)(C)C)c1O, Nn1ccnc1S to produce CC(C)(C)c1cc(C2=Nn3ccnc3SC2)cc(C(C)(C)C)c1O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.