1 unsatisfiable dependencies (solution with 2 names)
world: b<2