Using Cc1cc(C)n(C(=N)N)n1, CC(C)(C)OC(=O)NCCN=C=S to produce Cc1cc(C)n(C(=N)NC(=S)NCCNC(=O)OC(C)(C)C)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.