You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name 4-(1,3-benzothiazol-2-yl)-N-[3-[3-(trifluoromethyl)phenyl]prop-2-ynyl]piperidine-1-carboxamide into its molecular formula.
user
C23H20F3N3OS
assistant