You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(2-benzyl-2-azaspiro[3.3]heptan-6-yl) 4-(5-cyclopropylsulfanylpyrimidin-2-yl)piperazine-1-carboxylate The above is the IUPAC name of a molecule. Write its molecular formula.
user
C25H31N5O2S
assistant