Using CC(C)(C)CC(=O)OC12CC3CC(C1)C(=O)C(C3)C2, CCOC(=O)C(F)P(=O)(OCC)OCC to produce CCOC(=O)C(F)=C1C2CC3CC1CC(OC(=O)CC(C)(C)C)(C3)C2, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.