You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Can you give the molecular formula of the molecule (4aS,7aR)-1-[2-chloro-4-(trifluoromethyl)phenyl]-6,6-dioxo-2,4,4a,5,7,7a-hexahydrothieno[3,4-b]pyrazin-3-one ?
user
C13H12ClF3N2O3S
assistant