satisfiabilities