GeneralReasoning/SATBench | OpenReward