You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named sodium;(2S,5R,6R)-6-[acetyl(thiophen-2-yl)amino]-3,3,6-trimethyl-7-sulfanylidene-4-thia-1-azabicyclo[3.2.0]heptane-2-carboxylate is given. What is its corresponding molecular formula?
user
C15H17N2NaO3S3
assistant