Put the garlic and onion in the pot.

Saute for 1-2 minutes.

Add brisket in the pot on top of the onions and garlic.

Slowly pour the beer, broth, and water in the pot.

Watch so that you don't wash off the spices from the meat.

Add the lid to the pot, lock in place.

Press the Manual button, high pressure, to 90 minutes.

Then allow a 15 minute natural release.

Manually release the remaining steam.

Open the lid.

Next using tongs carefully remove the meat to a dish.

Using a large spoon remove some of the juices and pour it over the brisket.

Cover the brisket and juices with foil allowing it to rest.

Add the carrots, potatoes to the pot.

Close the lid again, and set it to sealing.

Set the manual, high pressure, set for 3 minutes.

Quick release when the cook cycle is complete.

Add the cabbage to the pot.

Close the lid again, and set it to sealing.

Set the manual, high pressure, set for 2 minutes.

Quick release when the cook cycle is complete.

Put both the meat and vegetables in a serving platter.

Add the juices by pouring it directly over the meat and vegetables to

ensure that it is moist and juicy.

Enjoy!