zkwfc1a7qcmdk0 - execution time: 1.750 sec.