1-in-4_SAT