20
0 1
0 12
1 10
1 18
2 5
2 14
2 15
5 14
6 8
7 15
7 18
12 16
13 16
14 18