12x8drlesj12b8 - execution time: 1.235 sec.