Using Cc1ccc2[nH]c3c(c2c1)CN(C)CC3, C=Cc1sccc1C to produce Cc1ccc2c(c1)c1c(n2CCc2sccc2C)C=CN(C)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.