checker-grided_1-in-3SAT