using the first example from knitro's documentation