Execution time (seconds): ~6.276994