Adding a link to sat challenge benchmarks