use isFeasible to check global optimum