3 2
YES
3 1 
disj 1 2
2 1