Using Cc1cc(C)c2c(c1)SCC2c1ccc(C(C)C)cc1, BrBr to produce Cc1cc2c(c(C)c1Br)C(c1ccc(C(C)C)cc1)CS2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.