Roast brisket with mushrooms

Beef brisket	1 pound
Salt
Pepper, freshly ground
Butter	2 tablespoons
Carrot, diced	2
Onion, diced	1
Celery stalk, diced	3
Parsley, chopped	1 bunch
Garlic, pressed	8 cloves
Mushrooms, sliced	3 cups
Water	½ cup

1. Season the brisket. 
2. Press Sauté on the pressure cooker, melt the butter, and then brown the brisket on all sides. 
3. Add the carrot, onion, and celery, and cook them, stirring occasionally, until softened. 
4. Add the parsley and garlic, spreading evenly over the brisket. 
5. Add the sliced mushrooms and water, and season. 
6. Close and lock the lid, press Meat/Stew, and then use the + and – buttons to set the timer to 17 minutes.
7. Reduce the liquid, as desired, and then serve immediately.