Economics Challenge Series 2025 – Challenge 5: Auction