finally getting some decent speed, only 10 times slower than minisat