If you go to google as search 'irr to bitcoin' it shows a table where 1 btc = 263259397.47 irr.
Then i take a look to localbitcoin and you are right
https://localbitcoins.com/country/IR 873,245,733.56 IRR / BTC... For that rate you are right, they are selling bitcoins closeto $26k, if that's the scenario wait for a price bump.
But why oeleo say have some sense:
It isn't. The "news" that Bitcoin was selling for $24,000 in Iran was based on the incorrect exchange rate - the subsidized exchange rate of 1 USD to 42k IRR set by the government for imports of certain goods. The actual exchange rate of 1 USD to 140k IRR gives the real price.
That way the 873k irr price isn't crazy at all.