A simple sat solver.