Using O=C([O-])[O-], O=C1c2cc(F)c(F)cc2C(=O)c2cc3ccccc3cc21 to produce COc1cc2c(cc1F)C(=O)c1cc3ccccc3cc1C2=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.