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 (4aS,7aR)-4-(3,5-dimethylphenyl)-1-(2-methylpropyl)-6,6-dioxo-4a,5,7,7a-tetrahydro-2H-thieno[3,4-b]pyrazin-3-one ?
user
C18H26N2O3S
assistant