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