Using O=C(O)c1c[nH]c2ccccc12, Fc1cc(Br)ccc1CBr to produce O=C(O)c1cn(Cc2ccc(Br)cc2F)c2ccccc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.