Using O=C1CC(c2ccc(CO)cc2Br)S(=O)(=O)N1, BrC(Br)(Br)Br to produce O=C1CC(c2ccc(CBr)cc2Br)S(=O)(=O)N1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.