let
is_unsat (ds, _) =
Atom
.
Set
.is_empty ds