Using O=c1n(-c2ccc(Br)cc2Cl)c2c(F)c3ncoc3cc2n1S(=O)(=O)C1CC1 to produce O=S(=O)(Nc1cc2ocnc2c(F)c1Nc1ccc(Br)cc1Cl)C1CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.