Infos
-   ++   SATISFIABLE
-   ++   SALIFIATES   +B
-   ++   basifiates   +L