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