Execution time (seconds): ~1.256803