Using O=C(CCc1ccccc1)c1cccc(C(F)(F)F)c1F, [NH4+] to produce Nc1c(C(=O)CCc2ccccc2)cccc1C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.