하나하나는 쉬운 개형추론인데
세네개씩 한번에 고려하려니까 죽겠다