12x3p9o7dpg8zo - execution time: 2.657 sec.