12smt2x5qb3epc - execution time: 0.422 sec.