You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Translate the chemical IUPAC name tert-butyl (4R)-4-[(5-methyl-1,3-thiazol-2-yl)carbamoyl]-1,3-thiazolidine-3-carboxylate into its molecular formula.
user
C13H19N3O3S2
assistant