Execution time (seconds): ~6.231505