해결 가능한 홀 기저를 가진 유한군 | Synapse