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