Marinate the brussels sprouts with butter, garlic, dijon mustard, salt and pepper.
Put the marinated Brussels sprouts and the broth in the Instant pot.
Set the Instant Pot to sauté, stir and cook for 6-7 minutes.
Close the lid and cook at high pressure cor 5 minutes.
When cooking cycle ends, do a quick pressure release.
Open the lid and Serve.