As it is told in question We have just finished some heapify
So, there must we found some heap trees
We tried first with min heap operation. There no leaf satisfies minheap operations
So, now try with max heap
So, 4 max heap sub trees we found , though root 9 stillneed to heapify