Using C=CCBr, O=Cc1ccc2ccc(OS(=O)(=O)c3ccccc3)c(Br)c2n1 to produce C=CCC(O)c1ccc2ccc(OS(=O)(=O)c3ccccc3)c(Br)c2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.