Using CON=C(C(=O)NC1C(=O)N2C(C(=O)O)=C(COC(C)=O)CS[C@H]12)c1csc(N)n1, CC([O-])=S to produce CON=C(C(=O)NC1C(=O)N2C(C(=O)O)=C(CSC(C)=O)CS[C@H]12)c1csc(N)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.