Do a manual verification of the solution (either yours or the one posted on the text website) to Problem. Consider all transitions where S and Rchange with the clock equal to 0.
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.