Using O=C([O-])[O-], COc1cc(-c2nc(-c3ccc4c(c3)CCC(=O)N4)cs2)ccc1SC to produce COc1cc(-c2nc(-c3ccc4c(c3)CCC(=O)N4)cs2)ccc1S(C)=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.