19.8 계획(Plan)의 형식적 정의와 해(Solution)의 유효성 조건