† denotes test-time scaling.