SOL+SKR mcapのPolymarketで、現在のSOLより低いものはありますか? ツェラーの公理を信頼しています