Unsound

6.8

(13)

7.1

(44)

7.3

(319)

7.1

(554)

7.7

(7)

6.2

(143)

1

(1)

5.2

(11)

10

(1)

7.1

(64)

2.8

(2)

6

(21)

6.5

(4)

6.7

(204)

4.2

(6)

7.8

(47)

8

(6109)

5.8

(20)

7.8

(483)

6

(5)