>80
 3方両錐型のとき
  Σ[i<j] 1/d(i,j) = 6/(a√2) + 3/(a√3) + 1/(2a) = 6.4746915…/a. (たぶん最小)