Using O=C(N=C=S)c1ccccc1, Cc1nc(C)c(-c2ccc(N)cc2)o1 to produce Cc1nc(C)c(-c2ccc(NC(N)=S)cc2)o1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.