Pure-integer programming problem