You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name sodium;(5R)-7-oxo-3-phenyl-4-thia-1-azabicyclo[3.2.0]hept-2-ene-2-carboxylate ?
user
C12H8NNaO3S
assistant