30 30
YES
12 30 22 9 3 7 27 21 2 28 10 16 8 24 13 15 19 14 18 26 29 17 11 6 5 1 25 4 23 20 
disj 1 10
10 29 30 28 25 7 2 13 9 6