12x8drk4rm644k - execution time: 1.156 sec.