Using COC(=O)N1CCN=C1SC, Cc1c(N)cc(C#N)c2nc[nH]c12 to produce COC(=O)N1CCNC1=Nc1cc(C#N)c2[nH]cnc2c1C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.