Using O=C([O-])c1ccccc1, CON=C(C(=O)N[C@@H]1C(=O)N2C(C(=O)O)=C(COC(=O)c3ccccc3)CS[C@H]12)c1ccccc1 to produce CON=C(C(=O)N[C@@H]1C(=O)N2C(C(=O)OC(c3ccccc3)c3ccccc3)=C(COC(=O)c3ccccc3)CS[C@H]12)c1ccccc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.