Using N#[N+]c1ccc(S(F)(F)(F)(F)F)cc1 to produce FS(F)(F)(F)(F)C1=CCC(c2ccccc2)(S(F)(F)(F)(F)F)C=C1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.