Use benchmarks to estimate the sum 13/15

1