You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
For the molecule named N-spiro[1-azabicyclo[2.2.1]heptane-2,1'-cyclopropane]-3-yl-7-(1,3-thiazol-2-yl)-1-benzothiophene-2-carboxamide by IUPAC nomenclature, provide its molecular formula.
user
C20H19N3OS2
assistant