xkf3d1e6xsj6jg - execution time: 1.140 sec.