zmi6x47fbe1co - execution time: 1.140 sec.