q2_3: tighter WCET bounds found, hence the figure in the protocol replaced