587plt13kth3deg - execution time: 1.641 sec.