You are a chemist. Please follow the instructions to convert the structure to the corresponding name.
system
2-[[(1R,2R)-2-amino-3,3-difluorocyclohexyl]amino]-N-(4-chlorothiophen-3-yl)thieno[2,3-b]pyrazine-7-carboxamide;2,2,2-trifluoroacetic acid is the IUPAC name of a molecule. Please give its molecular formula.
user
C19H17ClF5N5O3S2
assistant