Using Cc1c[nH]cn1, O=[N+]([O-])c1ccc(F)c(C(F)(F)F)c1 to produce Cc1cn(-c2ccc([N+](=O)[O-])cc2C(F)(F)F)cn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.