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 tert-butyl (2S)-2-(4-carbamoyl-1,3-thiazol-2-yl)pyrrolidine-1-carboxylate ?
user
C13H19N3O3S
assistant