I want to spend around 10-12.5k on a domain if required. They’re asking 7,500 – 25,000k.

I want to spend 10-12.5k on a domain if required. They're asking 7,500 – 25,000k.
Esti has it appraised at 15,000k and DomainIndex has it appraised at 24,000k.
Esti CPC is $8.48 and DomainIndex CPC is $11.94
Esti global exact searches 48,000 and DomainIndex 64,000 exact searches

It's currently being used as a redirect page.
Only available to negotiate through registry auction.

What should my first offer be?

I want to spend around 10-12.5k on a domain if required. They’re asking 7,500 – 25,000k.