Execution time (seconds): ~5.180294