Execution time (seconds): ~6.253579