To answer my own question: I'm missing the last statement, that S now also knows the solution. It does not follow trivially from the others like in the previous

To answer my own question: I'm missing the last statement, that S now also knows the solution. It does not follow trivially from the others like in the previous problem, for exactly the reasons I describe. S would not know the solution in this case because there are 3 possibilities.