Using COc1cc(N)ccc1-c1cnnc(C)c1, O=c1ccccn1C(=S)n1ccccc1=O to produce COc1cc(N=C=S)ccc1-c1cnnc(C)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.