Using Oc1c(F)cc(CBr)cc1F, Oc1cc2ccc(Br)cc2cn1 to produce O=c1cc2ccc(Br)cc2cn1Cc1cc(F)c(O)c(F)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.