zkwfc6szub7k4 - execution time: 1.672 sec.