You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
2-[(3R)-3-[(3S)-3-methylpiperidine-1-carbonyl]piperidin-1-yl]-7-phenyl-3H-thieno[3,2-d]pyrimidin-4-one The above is the IUPAC name of a molecule. Write its molecular formula.
user
C24H28N4O2S
assistant