You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
(3aR,8bR)-7-thiophen-2-yl-2-(thiophen-3-ylmethyl)-1,3,3a,8b-tetrahydro-[1]benzothiolo[2,3-c]pyrrole 4,4-dioxide is the IUPAC name of a molecule. Please give its molecular formula.
user
C19H17NO2S3
assistant