12x8drlbuat4z4 - execution time: 1.219 sec.