You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
5-amino-3-tert-butyl-6H-[1,3]thiazolo[4,5-d]pyrimidine-2,7-dione is the IUPAC name of a molecule. Please give its molecular formula.
user
C9H12N4O2S
assistant