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