3 2
3 10
1 12
7 17
disjoint
3 18