1 unsatisfiable dependencies (solution with 3 names)
world: !b
a-3: b