You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule identified by tert-butyl (2S)-2-[(2R)-1,1,1-trifluoro-2-hydroxypropan-2-yl]piperidine-1-carboxylate ?
user
C13H22F3NO3
assistant