utk4puzjg0hg8 - execution time: 0.125 sec.