Using O=C(O)c1cc(S(=O)(=O)n2ccc3ccccc32)ccc1Br to produce O=S(=O)(c1ccc(Br)c(CO)c1)n1ccc2ccccc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.