chiark / gitweb /
Try LP-only if MIP fails, and round everything down