You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named (6R)-7-[[2-(2-amino-1,3-thiazol-4-yl)-2-methyliminoacetyl]amino]-8-oxo-3-[(E)-3,3,3-trifluoroprop-1-enyl]-5-thia-1-azabicyclo[4.2.0]octane-3-carboxylic acid by IUPAC nomenclature, provide its molecular formula.
user
C16H16F3N5O4S2
assistant