1 unsatisfiable dependencies (solution with 4 names)
world: !b