Use benchmarks to estimate the sum 13/15