numConfidentlyFeasible