Execution time (seconds): ~6.231246