You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule (3S,6R,10R)-2-oxo-8-[(E)-[2-oxo-1-(thiophen-2-ylmethyl)pyrrolidin-3-ylidene]methyl]-1,4-diazatricyclo[4.3.1.03,10]dec-8-ene-4,9-dicarboxylic acid ?
user
C20H19N3O6S
assistant