https://openbenches.org/bench/10034