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 (3R,6S)-5-(3-chlorophenyl)-6-(5-chlorothiophen-2-yl)-1-(cyclopropylmethyl)-3-prop-2-enylpiperidin-2-one ?
user
C22H23Cl2NOS
assistant