naiveSAT returns correct satisfying assignment