You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Can you give the molecular formula of the molecule ethyl 4-(4-oxothieno[3,2-d][1,3]thiazin-2-yl)piperazine-1-carboxylate ?
user
C13H15N3O3S2
assistant