bvminisat explanation bug fixed