Zaslat SMS: Avaliação de Grandes Modelos de Linguagem para Raciocínio em Direito Tributário