You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
5-(4-hydroxy-3,3-dimethylpyrrolidine-1-carbonyl)-1-methyl-6-[4-(trifluoromethyl)phenyl]piperidin-2-one is the IUPAC name of a molecule. Please give its molecular formula.
user
C20H25F3N2O3
assistant