You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (3aR,6aS)-1-(4-iodophenyl)-5,5-dioxo-3a,4,6,6a-tetrahydro-3H-thieno[3,4-b]pyrrol-2-one by IUPAC nomenclature, provide its molecular formula.
user
C12H12INO3S
assistant