SatSolver.solve() returns whehter the clauses are satisfiable.