Using [O-][I+3]([O-])([O-])[O-], C=C(C)C(=O)c1nc(SC(C)C)n(-c2ccc(CC)cc2)c1Cl to produce C=C(C)C(=O)c1nc(S(=O)C(C)C)n(-c2ccc(CC)cc2)c1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.