SAT-Evaluation works. Added a few tests.