Using CCCC1CCC(CP(I)(c2ccccc2)(c2ccccc2)c2ccccc2)CC1, O=Cc1ccc(Br)cc1F to produce CCCC1CCC(C=Cc2ccc(Br)cc2F)CC1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.