12smt2x50s9hbg - execution time: 0.265 sec.