fix KNITRO for unboundedness test