save(lp) : suhl factorization of the whole matrix works

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
save(lp) : suhl factorization of the whole matrix works

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