You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Convert the IUPAC name of a molecule (2R)-1-(1,3-benzothiazole-6-carbonyl)pyrrolidine-2-carboxylic acid into molecular formula.
user
C13H12N2O3S
assistant