Nice write-up. Did you try the problem out against a MIP method?