You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(3S,4S)-4-methyl-1-(1-thiophen-2-ylethylcarbamoyl)pyrrolidine-3-carboxylic acid The above is the IUPAC name of a molecule. Write its molecular formula.
user
C13H18N2O3S
assistant