You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
What is the molecular formula of the molecule (3aR,5R,7aS)-spiro[3a,4,5,7a-tetrahydro-1,3-benzodioxole-2,1'-cyclohexane]-5-ol ?
user
C12H18O3
assistant