1328.20 도메인과 문제의 일관성 검사 도구