Using [O-][I+3]([O-])([O-])[O-], CSC1(C)C(=O)C(C(=O)c2ccc(C(F)(F)F)nc2C)=C(O)C2CC21 to produce Cc1nc(C(F)(F)F)ccc1C(=O)C1=C(O)C2CC2C(C)(S(C)=O)C1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.