$ g++ a27.cpp; a.exe;
srand=1141647359
----9----18----0
   0, 14.392800, 4.000000
   1, 15.056100, 4.000000
   5, 15.272900, 4.000000
  13, 15.635500, 3.000000
  36, 15.726300, 3.000000
  40, 15.739900, 2.000000
  80, 15.776500, 2.000000
 171, 15.789700, 2.000000
 174, 15.823300, 2.000000
 388, 15.878600, 1.000000
 438, 15.919200, 1.000000
 704, 15.954100, 1.000000
1466, 15.967700, 1.000000
----9----17----1
   0, 15.138600, 4.666667
   2, 15.550000, 3.333333
  16, 15.761800, 2.666667
  18, 15.824900, 2.666667
  29, 15.860900, 2.666667
  37, 15.948500, 1.666667
 276, 16.110600, 1.000000
 968, 16.135200, 1.000000
----9----16----2
   0, 15.928400, 2.666667
   5, 15.937700, 2.666667
  16, 15.968600, 3.333333
  19, 15.997400, 2.000000
  63, 16.029800, 2.333333
 110, 16.044700, 2.333333
 290, 16.058400, 2.333333
 359, 16.097900, 2.333333
 600, 16.117900, 2.000000
 645, 16.163300, 2.000000
1098, 16.206500, 1.666667
1811, 16.236900, 1.666667
----9----15----3
   0, 11.686600, 5.333333
   1, 15.484300, 4.666667
   2, 15.774300, 4.000000
   4, 16.069700, 2.666667
  21, 16.145200, 2.666667
 275, 16.190700, 2.333333
 461, 16.222800, 2.666667
 730, 16.231000, 2.333333
 974, 16.294200, 2.666667
----9----14----4
   0, 15.534300, 4.666667
   2, 15.863400, 4.333333
   3, 16.152900, 3.000000
  58, 16.361100, 2.000000
----9----13----5
   0, 14.094400, 6.333333
   1, 15.544300, 5.000000
   4, 16.102600, 4.000000
  12, 16.242800, 2.666667
  30, 16.373800, 2.666667
 765, 16.434800, 2.000000
1162, 16.445200, 2.000000
1791, 16.447800, 2.333333
----9----12----6
   0, 15.872400, 4.333333
   5, 16.317500, 2.666667
  16, 16.375700, 2.333333
  88, 16.378200, 3.000000
 135, 16.411900, 3.000000
 273, 16.421000, 2.000000
 358, 16.465900, 2.666667
 402, 16.482500, 2.666667
1081, 16.485900, 2.333333
1274, 16.517300, 3.000000
----9----11----7
   0, 16.183500, 3.333333
  10, 16.244100, 4.000000
  14, 16.257500, 3.333333
  18, 16.378100, 2.666667
  78, 16.513400, 2.333333
 180, 16.577800, 2.000000
 254, 16.580000, 3.333333
 317, 16.719200, 1.666667
----9----10----8
   0, 15.759100, 5.000000
   1, 16.463500, 3.333333
  11, 16.531500, 2.000000
  89, 16.545300, 3.666667
 550, 16.584900, 2.000000
 750, 16.662600, 1.666667
1392, 16.666300, 2.000000
----9----9----9
   0, 16.246600, 5.666667
   1, 16.319100, 4.666667
  10, 16.369500, 4.666667
  18, 16.390600, 3.666667
  37, 16.400900, 2.666667
  51, 16.538000, 3.000000
  71, 16.559000, 3.333333
 164, 16.613700, 2.666667
 173, 16.710400, 2.000000
 559, 16.720500, 2.000000
----9----8----10
   0, 16.514700, 3.333333
   7, 16.595400, 4.000000
  12, 16.604700, 3.333333
  80, 16.668600, 2.333333
 129, 16.732300, 2.333333
 434, 16.741100, 1.000000
 845, 16.745200, 2.000000
1299, 16.807200, 1.000000
----9----7----11
   0, 15.709200, 6.000000
   2, 15.992900, 6.333333
   3, 16.530000, 3.333333
  25, 16.583000, 3.333333
  53, 16.608600, 3.000000
  76, 16.644500, 3.000000
  85, 16.685000, 2.333333
 242, 16.708400, 3.666667
 568, 16.802600, 2.000000
 733, 16.858600, 1.333333
----9----6----12
   0, 16.409400, 4.333333
   2, 16.554800, 3.333333
  14, 16.650300, 2.666667
  16, 16.764900, 2.333333
 486, 16.768100, 2.333333
1039, 16.818600, 2.333333
----9----5----13
   0, 15.698900, 6.000000
   1, 15.869900, 6.333333
   4, 16.662100, 3.666667
  48, 16.712600, 3.333333
  77, 16.722500, 2.666667
 101, 16.730800, 3.333333
 202, 16.755200, 2.333333
 226, 16.796700, 2.666667
 318, 16.825200, 2.000000
 511, 16.832800, 2.333333
 836, 16.857600, 2.333333
 837, 16.860000, 2.000000
----9----4----14
   0, 16.191200, 6.333333
   2, 16.527200, 4.333333
   5, 16.625700, 3.666667
  10, 16.702300, 2.333333
  40, 16.714100, 2.666667
 148, 16.808100, 2.666667
 294, 16.832800, 3.000000
 444, 16.853700, 2.000000
1692, 16.864900, 2.666667
----9----3----15
   0, 16.568300, 4.666667
  12, 16.674100, 3.666667
  34, 16.738200, 2.000000
  37, 16.739400, 2.000000
  40, 16.744400, 2.666667
  85, 16.769500, 2.000000
 144, 16.796300, 2.000000
 223, 16.828100, 1.000000
 447, 16.853600, 2.000000
 717, 16.891000, 2.333333
1506, 16.903900, 2.333333
----9----2----16
   0, 16.370300, 5.000000
   1, 16.418300, 4.000000
   9, 16.661400, 3.666667
  26, 16.793000, 2.000000
 122, 16.806100, 2.333333
 137, 16.819500, 2.666667
 148, 16.857500, 2.333333
 564, 16.873500, 2.000000
1170, 16.913800, 2.333333
----9----1----17
   0, 16.743800, 2.666667
   1, 16.797800, 2.666667
  70, 16.799100, 2.000000
 131, 16.813000, 2.000000
 144, 16.850200, 1.333333
 493, 16.870500, 1.000000
1252, 16.909100, 1.000000
----9----0----18
   0, 16.530500, 4.000000
   2, 16.647700, 2.666667
  21, 16.692600, 2.000000
  24, 16.725700, 2.000000
  39, 16.729700, 2.000000
  48, 16.787700, 2.000000
 286, 16.853500, 1.333333