zkwfc5r8aq7co - execution time: 1.797 sec.