You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 4-[6-(cyclohexylmethyl)-2,6-diazaspiro[3.3]heptan-2-yl]-6-(2,2,2-trifluoroethyl)thieno[2,3-d]pyrimidine is given. What is its corresponding molecular formula?
user
C20H25F3N4S
assistant