Using CN1CCC(=O)CC1, c1ccc(Sc2ccc3[nH]ccc3c2)cc1 to produce CN1CC=C(c2c[nH]c3ccc(Sc4ccccc4)cc23)CC1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.