zkwfc1dorrtkgo - execution time: 0.344 sec.