zh09upz2soc2k - execution time: 1.719 sec.