https://codeforces.com/contest/1538/problem/G

이 문제 ILP+binary search로 풀었던 방법 확장할 수 있는듯.
당시 풀이 증명: https://gall.dcinside.com/mgallery/board/view/?id=ps&no=14006&page=1

확장1: x+y=k를 x+n*y=k로 확장은 안되는듯. 1*n 직사각형일때 반례

확장2: 변수2개 반평면부등식을 변수3개로 늘려서 반공간 부등식만들고 x+y+z=k maximize하면 이분탐색 가능한듯. 근데 정해풀이 확장이나 ILP풀이나 똑같이 코드 더러워질듯...?
2변수일땐 반직선 교집합이었다면 3변수일땐 반평면 교집합 관리해야되서;;