Keywords = non-convex MINLP problem