finished max_card for mixed integer programming. Unbelievable