usv2d3peuc1ks - execution time: 0.250 sec.