고스바인 소거법과 기본 행 연산을 통한 단계별 해결