Using COC(=O)c1c(C=O)cccc1C(F)(F)F, COP(=O)(CC(=O)OCc1ccccc1)OC to produce COC(=O)c1c(/C=C/C(=O)OCc2ccccc2)cccc1C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.