construct/rlve largest rectangle

construct/rlve largest rectangle: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). You are given 10 distinct lattice points, indexed 0..9: 0: (5, 5) 1: (2, 1) 2: (-5, 0) 3: (-8, -1) 4: (10, 5) 5: (7, 8) 6: (-8, 8) 7: (-2, 4) 8: (-1, -3) 9: (-8, -7)