12x3p9vbt5xcic - execution time: 0.734 sec.