Cabbage soup

3-4 carrots, peeled and thinly sliced
2 large potatoes, cubed
1 lg onion, diced
1/2 head cabbage thinly sliced
2 cloves garlic, minced
6 veggie stock
1 tbsp olive oil
14-16 oz tomatoes
thyme
basil
parsley
salt and pepper

Sautee veggies in olive, add all ingredients to instant pot. Cook for 20 min, let sit for 5 min then release pressure.