../../Task/Best-shuffle/XPL0