Using FC(F)(F)c1ccc(CBr)cc1, O=c1[nH]nc2c(Cl)c(-c3ccc(Cl)cc3)cnn12 to produce O=c1n(Cc2ccc(C(F)(F)F)cc2)nc2c(Cl)c(-c3ccc(Cl)cc3)cnn12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.