Satisfiability Checker in Haskell