get uniload of constraint-solver working

now we get stuck on slices