dev(lp): solve correctly a handful of small LPs; the biggest was murtagh.mps

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>