Using N[C@H]1CC[C@@H]2CN(c3ccc(C(F)(F)F)cn3)C[C@@H]21, O=Cc1cc2cc(F)ccc2[nH]1 to produce Fc1ccc2[nH]c(CN[C@H]3CC[C@@H]4CN(c5ccc(C(F)(F)F)cn5)C[C@@H]43)cc2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.