137s1958sok4wc - execution time: 0.625 sec.