Using C[O-], O=c1c(CBr)c(-c2ccc(O)cc2)oc2ccccc12 to produce COCc1c(-c2ccc(O)cc2)oc2ccccc2c1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.