Using CC(C)N=C=S, CCOC(=O)Nc1cnn(C)c1S(N)(=O)=O to produce CCOC(=O)Nc1cnn(C)c1S(=O)(=O)NC(=S)NC(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.