You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
disodium;(6R)-3-[[5-(carboxylatomethylsulfanyl)-1H-1,2,4-triazol-3-yl]sulfanylmethyl]-8-oxo-7-(3,3,3-trifluoropropanethioylamino)-5-thia-1-azabicyclo[4.2.0]oct-2-ene-2-carboxylate is the IUPAC name of a molecule. Please give its molecular formula.
user
C15H12F3N5Na2O5S4
assistant