10 10
YES
6 10 2 3 9 8 4 5 7 1 
disj 2 2
7 3