Using O=P(CC(F)(F)F)(c1ccccc1)c1ccccc1, COC(=O)c1ccc(C=O)cc1Cl to produce O=C(O)c1ccc(/C=C/C(F)(F)F)cc1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.