Added test for sat
Added test for quotient
Merge pull request #271 from jankoboehm/spielwiese

Added test for sat