utk4pgivd2xk - execution time: 0.281 sec.