You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (3aR,6aR)-3-phenyl-3a,6a-dihydrothieno[2,3-d][1,2]oxazole 4,4-dioxide by IUPAC nomenclature, provide its molecular formula.
user
C11H9NO3S
assistant