1-SAT stuff