Using CC1(C)CCC(C)(C)c2cc3c(C(F)(F)F)cc(=O)oc3cc21 to produce CC1(C)CCC(C)(C)c2cc3c(cc21)OC(O)C=C3C(F)(F)F, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.