Check for karush kuhn tucker points with Wolfram|Alpha ?(urgent)

[franztobias (Tobias Franz)]

I calculated this minimize (2x-1)^2*(x+4)-3, x*y-1\leq 0 - Wolfram|Alpha

Now I need to check if a certain point ( I got 5 different ones to choose from ) is a kkt point.