checking optimality constraints