golinski still doesn't work, but uses the correct constraints.