You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named sodium;(5R,6S)-3-(2-acetamidoethenylsulfanyl)-6-[(1S)-1-hydroxyethyl]-7-oxo-1-azabicyclo[3.2.0]hept-2-ene-2-carboxylate is given. What is its corresponding molecular formula?
user
C13H15N2NaO5S
assistant