You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name (3S,5S,6R)-3-amino-6-methyl-1-(2,2,2-trifluoroethyl)-5-(2,3,5-trifluoro-1-methylcyclohexa-2,4-dien-1-yl)piperidin-2-one ?
user
C15H18F6N2O
assistant