Using O[C@@H]1CC[C@@H]2CN(c3cccc(C(F)(F)F)n3)C[C@@H]21, Oc1cccc(F)c1 to produce Fc1cccc(O[C@H]2CC[C@@H]3CN(c4cccc(C(F)(F)F)n4)C[C@@H]32)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.