レンガ状正1-in-3_SAT