Using Fc1ccc(CBr)cc1, O=c1[nH]c2ccc(F)cc2c(=O)o1 to produce O=c1oc(=O)n(Cc2ccc(F)cc2)c2ccc(F)cc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.