A modalidade de licitação apropriada para a venda de bens imóveis da administração cuja aquisição haja derivado de procedimentos judiciais ou de dação em pagamento é denominada