IRS Takes The Property?

There is a house coming to auction in a couple of weeks with the following: 1st DTR 103k owing IRS lienus of 31k County taxes 4k FMV 140k The IRS lienus is subordinate to the 1st DTR. The house is currently vacant, and all indications are that it will actually come to auction. The IRS, of course, will have a 120 right of redemption on the property. Does anyone have any experience with a similar situation? Do you think the IRS will redeem, given that there is enough equity to cover their position? Thanks