Boolean Satisfiability Problem - Ontify