S1: Simple Test-Time Scaling