19.25 명제적 만족 가능성(SAT) 기반 계획법의 원리