실행 횟수 23번 / 반례 찾은 횟수 18번