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 2-cyclopropyl-4-(3-pyrazol-1-ylpiperidin-1-yl)-5,6,7,8-tetrahydro-[1]benzothiolo[2,3-d]pyrimidine ?
user
C21H25N5S
assistant