unit test data for SAT solver
reviewed version including basic unit tests