more tests
added tests, found SAT bug