Consider the following NLP problem:
min,f(x)=x_(1)^(4)+x_(2)^(4)+12x_(1)^(2)+6x_(2)^(2)-x_(1)x_(2)-x_(1)-x_(2)
s.t. x_(1)+x_(2)>=6
,2x_(1)-x_(2)>=3
and x_(1)>=0,x_(2)>=0
(a) What are the KKT conditions for this problem?
(b) Verify whether x^(b)=(3,3) is the unique optimal solution.