You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named 5-phenyl-3-prop-2-enyl-2-(5,6,7,8-tetrahydro-[1]benzothiolo[2,3-d]pyrimidin-4-ylsulfanyl)thieno[2,3-d]pyrimidin-4-one by IUPAC nomenclature, provide its molecular formula.
user
C25H20N4OS3
assistant