Execution time (seconds): ~6.228862