Using Cc1nc(-c2nc(-c3ccc(OC(F)(F)F)cc3)no2)n[nH]1, Cc1ccc(CBr)cc1 to produce Cc1ccc(Cn2nc(-c3nc(-c4ccc(OC(F)(F)F)cc4)no3)nc2C)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.