zkwfc12ifnvc2k - execution time: 1.531 sec.