You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
Under IUPAC nomenclature, a molecule named 1-(cyclopropylmethyl)-3-methyl-2,4-dioxo-6-[[2-(trifluoromethyl)phenyl]methyl]thieno[2,3-d]pyrimidine-5-carboxylic acid is given. What is its corresponding molecular formula?
user
C20H17F3N2O4S
assistant