He has a 10 seconds penalty ;)
But anyway this "if" scenario is always tricky. Ostberg didn't need to push after Gryazin lost time with the power steering and by pure speed Gryazin was likely the fastest. In the end what matters is the result in finish.