Using O=C(c1ccc(F)cc1)C(F)(F)F, COC(=O)[C@@H](N)CSCC1CC1 to produce O=C([O-])[C@H](CSCC1CC1)/N=C(/c1ccc(F)cc1)C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.