12x8drk47q15co - execution time: 1.140 sec.