20
0 10
1 13
1 15
3 16
4 10
5 7
5 11
7 15
9 17
10 15
10 18
11 17
11 18
14 17
14 18
15 19