입력 값이 어떻게 활용되는지 분석하시다 보시면,연산 이후 비교구문들이 나옵니다. 그 비교구문을 주의해서 보신다면 z3를 어떻게 활용해야 할 지 보이실거에요...!