Remove prints from glucose.
Extend models before print.
Improve checker of SAT testcases.