cabal.sat