Integrated final form of SAT solver. Added support for introducing independent World classes per test.