A modalidade licitatória prevista na Lei nº 8.666/1993 a ser observada na alienação de bens imóveis da Administração Pública, cuja aquisição haja derivado de procedimentos judiciais ou de dação em pagamento, é