Using O=c1n(-c2ccc(I)cc2F)c2c(F)c3ncsc3cc2n1S(=O)(=O)C1CC1 to produce O=S(=O)(Nc1cc2scnc2c(F)c1Nc1ccc(I)cc1F)C1CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.