coming along with the help of minisat and sat4j