1306.19 후제 조건 검사를 통한 결과 검증