Hi, Im having trouble figuring out the ordering of the way things are done in the sample solution. I understand that the clarifications do mention ordering but for me im getting different results. For example, in this case.pid4 sleeps at time = 293 (for 15s), meaning it should wake up whenever it can at time = 308 or after. It is free to wake up at time = 313 but instead a READY -> RUNNING is prioritised over unblocking the sleeping process. What is going on here? Am I mistaken?