You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named [3,3-difluoro-1-[3-(methylcarbamoyl)-7-(trifluoromethyl)thieno[3,2-b]pyridin-5-yl]piperidin-4-yl] 4-cyclopropylpiperazine-1-carboxylate by IUPAC nomenclature, provide its molecular formula.
user
C23H26F5N5O3S
assistant