You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
4-[(5R)-5-(1,3-benzodioxol-5-yl)-3-oxocyclohexen-1-yl]benzonitrile is the IUPAC name of a molecule. Please give its molecular formula.
user
C20H15NO3
assistant