zkwfc11s2w2d7k - execution time: 1.609 sec.