Using Cc1cc(C(=O)O)ccc1-c1nc(C(C)(C)C)cs1, BrBr to produce Cc1cc(C(=O)O)ccc1-c1nc(C(C)(C)C)c(Br)s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.