A modalidade de licitação utilizada na alienação de bens imóveis, não derivados de procedimentos judiciais ou de doação em pagamentos, é: