Using O=C1CCC2(CC1)OCCO2, FC1(F)Oc2c(C[P+](c3ccccc3)(c3ccccc3)c3ccccc3)cccc2C1(F)F to produce FC1(F)Oc2c(C=C3CCC4(CC3)OCCO4)cccc2C1(F)F, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.