12x8drk4kxa16k - execution time: 1.187 sec.