zkwfc1aqi9ic04 - execution time: 1.828 sec.