changed bvminisat configuration to match that of core minisat