f87ultzil0p64c - execution time: 0.609 sec.