added a few more tests of naiveSAT