#self-modifying

"정답이 없어 보인다"는 설명 그대로, 눈에 보이는 검증 루틴은 (X*X+7)%16==3 이라는 수학적으로 불가능한 제약으로 끝난다. Z3도 UNSAT을 뱉는다. 진짜 검증기는 ELF 로드 시 R_X86_64_RELATIVE 재배치로 RWE 세그먼트에 조립되는 별도 코드였고, 숨은 정답은 저장된 바이트를 0x5a로 XOR한 64자 hex였다.