Polak1 (generalized min-max problem) sio nsips AMPL