Using CC(C)(C)c1cc(-c2csc(CO)n2)cc(C(C)(C)C)c1O, BrC(Br)(Br)Br to produce CC(C)(C)c1cc(-c2csc(CBr)n2)cc(C(C)(C)C)c1O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.