Using N#Cc1ccc(F)cc1Br, CC1(C)CC(=O)c2c(C(F)(F)F)n[nH]c2C1 to produce CC1(C)CC(=O)c2c(C(F)(F)F)nn(-c3ccc(C#N)c(Br)c3)c2C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.