GeneralReasoning/SMT2025 | OpenReward