Using O=c1[nH]c2ccc(C(F)(F)F)c(C(F)(F)F)c2c(=O)o1 to produce COC(=O)c1c(N)ccc(C(F)(F)F)c1C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.