normalize the return value of dlx.solve()