You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the compound with this IUPAC name [(2S)-1-(cyclopropylamino)-1-oxopropan-2-yl] 4,5,6,7-tetrahydro-1-benzothiophene-3-carboxylate ?
user
C15H19NO3S
assistant