Handle unsatisfiable specifications error with --json