save(lp): solving correctly acc-tight5.mps, handling correctly redundant rows

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