Using CCC[C@H]1CC[C@H](C2CC3(C2)CC(O)(c2cc(F)c(F)c(F)c2)C3)CC1 to produce CCC[C@H]1CC[C@H](C2CC3(C=C(c4cc(F)c(F)c(F)c4)C3)C2)CC1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.