Using Nc1nc(C(=O)C(=O)N[C@@H]2C(=O)N3C(C(=O)O)=CCS[C@H]23)c(Cl)s1, CON to produce CON=C(C(=O)N[C@@H]1C(=O)N2C(C(=O)O)=CCS[C@H]12)c1nc(N)sc1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.