Add benchmark to measure time for first solution
Fix formatting