save(lp): solving smaller lps works again

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