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