Ding Junhui was killed by a small driver at 9:9 in the snooker world championship. What is the prob