Added Clause.satisfiable