Fix issue #93, picosat script w/ trivial zero