Using O=C1c2ccccc2C(=O)N1CC[C@@H]1[C@H](O)[C@H](O)O[C@@H]1CCc1ccc(C(F)(F)F)cc1 to produce O=CO[C@H](CCc1ccc(C(F)(F)F)cc1)[C@@H](C=O)CCN1C(=O)c2ccccc2C1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.