* testing sat solvers