12x3p9isa4i57g - execution time: 2.609 sec.