Execution time (seconds): ~5.139129