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