Using [C-]#[N+]CC(N)=O, O=Cc1ccc(C(F)(F)F)cc1 to produce NC(=O)C1N=CO[C@@H]1c1ccc(C(F)(F)F)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.