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