LAZY: correct packing box -- dfs not greedy