k

CPU time

13

0.986657

15

0.969777

14

0.971449

13

0.960487

15

0.994397