ut6facky3j1tw - execution time: 0.406 sec.