One-in-three 3SAT