Execution time (seconds): ~5.100870