Result unsatisfiableConstraint = const Result._('Unsatisfiable constraint')

The result when the Constraint could not be added to the Solver because it was unsatisfiable. Try lowering the Priority of the Constraint and try again.