Using [O-][I+3]([O-])([O-])[O-], Fc1ccc(Cl)c(-c2nc3c(Cl)cccc3nc2CBr)c1 to produce O=Cc1nc2cccc(Cl)c2nc1-c1cc(F)ccc1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.