Using Cc1ccc(S(=O)(=O)OC/C=C/COS(=O)(=O)c2ccc(C)cc2)cc1, [F-] to produce Cc1ccc(S(=O)(=O)OC/C=C/CF)cc1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.