Using O=C1NC(=S)CS1, CC(C)[C@@H](N)C(=O)N(C)C to produce CC(C)[C@@H](NC1=NC(=O)SC1)C(=O)N(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.