smodels version 2.32. Reading...done
