Using c1ccc([P+](CCC2OCCCO2)(c2ccccc2)c2ccccc2)cc1, O=C1CCC(c2cc(F)c(F)c(F)c2)CC1 to produce Fc1cc(C2CCC(=CCC3OCCCO3)CC2)cc(F)c1F, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.