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