Instant Pot Red Beans

• 1 lb dry red beans (Rancho Gordo Domingo Rojo)
• 1 lb smoked andouille sauage (or Bradley’s)
• 5 cloves garlic
• 1 sweet onion
• 1 bell pepper
• 3 stalks celery
• 1 & 1/2 teaspoon Cajun seasoning
• 1 teaspoon dried oregano
• 1/2 teaspoon dried basil
• 1/2 treaspoon thyme
• 1 teaspoon salt
• 1/2 teaspoon ground black pepper
• 2 bay leaves
• 4 cups vegetable broth
• 1 cup water