Using FC(F)(F)c1ccc(Br)cn1, CON(C)C(=O)c1cnn(C)c1 to produce Cn1cc(C(=O)c2ccc(C(F)(F)F)nc2)cn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.