@Dolfin: 9 9 8 10 11 11 2 12 2 4 5 13 10 4 7 16 20 15 20 6 20 17 2 10 6 3 10 17 6 18 2 17 11 2 11 5 2 6 12 16 18 10 12 11 11 9 7 13 11 14 4 14 10 6 15 14 12 17 5 4 9 17 17 5 6 3 12 10 8 9 1 18 17 20 2 15 8 18 2 20 8 15 19 7 10 6 10 16 6 13 7 13 11 20 14 8 7 5 8 1 , 2 successes) = 2
100d20=3 = ( 