UNFOLD [ 20 26 92 61 15 97 93 18 45 59 70 24 35 90 28 73 29 96 12 52 ]
FOLD
SORT_LE
FOLD