12x8drke98c504 - execution time: 1.265 sec.