Using CSC(=N)c1cccs1, Nc1ccc2c(ccn2-c2ccc(N)nc2)c1 to produce N=C(Nc1ccc2c(ccn2-c2ccc(N)nc2)c1)c1cccs1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.