1268.13 안전 제약 조건 검증