semi_infinite_programming_a01 | EKB DL