enable shorterter mathematica printouts in nlsat

Signed-off-by: Lev Nachmanson <[email protected]>

Author: levnach