You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 4,4-bis[4-(3-methylthiophen-2-yl)but-3-enyl]piperidine-3-carboxylic acid is given. What is its corresponding molecular formula?
user
C24H31NO2S2
assistant