19.26 SAT 인코딩을 통한 계획 문제의 변환과 풀이