2 unsatisfiable dependencies (solution with 4 names)
world: d<1.5
b-1: d<2.0