Using Fc1cc(C[P+](c2ccccc2)(c2ccccc2)c2ccccc2)cc(F)c1F, O=CC1CCC(=O)CC1 to produce O=C1CCC(C=Cc2cc(F)c(F)c(F)c2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.