Using [OH-], FC(F)(F)c1ccc(-n2nc3cc(Br)ccc3c2Cl)cc1 to produce O=c1c2ccc(Br)cc2[nH]n1-c1ccc(C(F)(F)F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.