Uma empresa sediada em Mato Grosso foi notificada pelo fisco estadual sobre a existência de um débito de ICMS decorrente de uma operação de importação de mercadorias. A empresa alega que a cobrança do imposto está em desacordo com a legislação vigente e que a Súmula 645 do STF, que trata da não incidência de ICMS sobre a taxa de licenciamento de software, deveria ser aplicada ao caso. Diante da situação, assinale a alternativa que descreve corretamente a aplicação das súmulas do STF em matéria tributária no contexto do ICMS de Mato Grosso.