Using CN1CC[C@@]2(CCC(c3cc(-c4cccc(OC(F)(F)F)c4)ccn3)=N2)C1=O to produce CN1CC[C@@]2(CC[C@H](c3cc(-c4cccc(OC(F)(F)F)c4)ccn3)N2)C1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.