Using CCOS(=O)(=O)C(F)(F)F, C[C@@H]1[C@H](c2ccccc2)OC(=O)N1C(=O)CCc1ccc(F)cc1F to produce CC[C@@H](Cc1ccc(F)cc1F)C(=O)N1C(=O)O[C@@H](c2ccccc2)[C@H]1C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.