Instant Pot Beef Stew

Ingredients

• 3 lbs boneless chuck roast, cut into 2-inch pieces
• 1/3 cup all-purpose flour
• 1 teaspoon paprika
• 2 teaspoons salt
• 3 tablespoons unsalted butter
• 2 medium onions, cut into 6ths
• 5 cloves garlic, minced
• 1 carrot, sliced in rounds
• 2 celery stalks, cut into 2-inch pieces
• 2 tomato paste
• 10 cups beef stock
• 1 can peeled, lightly crushed tomatoes
• 3 russet potatoes, cubed
• 6 sprigs of thyme
• 6 sprigs parsley
• 2 bay leaves
• 2 tablespoons red wine vinegar (or to taste)
• 2 -3 teaspoons parsley, for garnish
• salt
• pepper