zkwfc17a0hrgvw - execution time: 0.422 sec.