You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
cyclohexylmethyl (2S,5R,6R)-3,3-dimethyl-7-oxo-6-(2-oxo-3-phenylpropyl)-4-thia-1-azabicyclo[3.2.0]heptane-2-carboxylate The above is the IUPAC name of a molecule. Write its molecular formula.
user
C24H31NO4S
assistant