1 2 3 4 5
4 unsatisfiable dependencies (solution with 3 names) world: d<1.5 a-3: d>1.5 b-1: d<2.0 c-1: d>1.0