Using Fc1ccc(Br)cc1CBr, O=c1[nH]nc(-c2ccc(Cl)cc2)n1C1CC1 to produce O=c1n(Cc2cc(Br)ccc2F)nc(-c2ccc(Cl)cc2)n1C1CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.