Execution time (seconds): ~9.045941