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