Using CC(=O)OCC1=C(C(=O)O)N2C(=O)[C@@H](N)[C@H]2SC1, Cc1nnc(S)n1C to produce Cc1nnc(SCC2=C(C(=O)O)N3C(=O)C(N)[C@H]3SC2)n1C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.