12x4dsi3p2y7jw - execution time: 1.578 sec.