Naive SAT check