SAT tools - some experiments around SAT formulas.