Using Cc1ccc(C(=O)CBr)cn1, C[C@@]1(C(F)(F)F)Cn2c(nc(Cl)cc2=O)N1 to produce Cc1ccc(C(=O)CN2c3nc(Cl)cc(=O)n3C[C@@]2(C)C(F)(F)F)cn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.