Using N[C@@H]1C[C@H]1c1ccccc1, O=Cc1ccc(C(F)(F)F)cc1 to produce FC(F)(F)c1ccc(CN[C@@H]2C[C@H]2c2ccccc2)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.