note about sat solvers