Using O=S(=O)(Cl)C1CC1, Cc1c2cc3[nH]c(=O)n(-c4ccc(I)cc4F)c3c(F)c2nn1C to produce Cc1c2cc3c(c(F)c2nn1C)n(-c1ccc(I)cc1F)c(=O)n3S(=O)(=O)C1CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.