스토쿠 검사

이렇게 풀어도 정답 다 통과되던데 반례가 있을까요 ?

import sys 
import string as t 

sys.stdin = open("input.txt", "r")

a = [list(map(int, input().split())) for _ in range(9)]
True_flag = True 
nums = [i for i in range(1, 10)]
for y in range(0, 9, 3):
    for x in range(0, 9, 3):
        res = []
        res.extend(a[y : y + 3][0][x : x + 3])
        res.extend(a[y : y + 3][1][x : x + 3])
        res.extend(a[y : y + 3][2][x : x + 3])
        
        if len(nums) != len(set(res)):
            True_flag = False
            break 
    
if True_flag:
    print("YES")
else:
    print("NO")