Using Cc1nc(C(F)(F)F)ccc1CBr, O=c1[nH]nc2c(Br)c(-c3ccc(Cl)cc3)ccn12 to produce Cc1nc(C(F)(F)F)ccc1Cn1nc2c(Br)c(-c3ccc(Cl)cc3)ccn2c1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.