[[2,3],[3,5],[-3,-4],[2,-3,-4] ,[-3,4],[1,-2,-4,-5],[1,-2,4,-5]]
decide belegt immer die kleinste freie Variable, immer zunächst negativ