instant pot linsesuppe med skinke

ingredienser

1. 1 spsk olivenolie.
2. 1 kop hakket løg.
3. 1 kop hakket selleri.
4. 1 kop gulerødder, 1/4-tommer skiver.
5. 2 fed hvidløg, hakket.
6. 1 ½ kopper kogt skinke i terninger.
7. 1 kop linser.
8. ½ tsk tørrede basilikumblade.