parallelization of minisat using tbb