Better result printing -- easier to read and display

Permitted by specification:
http://www.satcompetition.org/2009/format-solvers2009.html