The text 9b1d26e50314, as Debian 6.0 (Squeeze) shipped it.
efficient library of SAT solvers in Java
sat4j(1) on Linux now
