You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 1,2-difluoro-4-[4-(3-fluoroprop-2-enyl)cyclohexyl]benzene by IUPAC nomenclature, provide its molecular formula.
user
C15H17F3
assistant