Using O=C(O)c1cc(O)cc(OCc2ccccc2F)c1, Nc1cc(Br)cnc1N to produce Oc1cc(OCc2ccccc2F)cc(-c2nc3ncccc3[nH]2)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.