Using OCc1c(-c2ccc(F)cc2Cl)cc(Cl)nc1Cl, BrC(Br)(Br)Br to produce Fc1ccc(-c2cc(Cl)nc(Cl)c2CBr)c(Cl)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.