utk4p14wfstk58 - execution time: 0.250 sec.