4+3+3という強い制約があるからギリ数えられる
それが無いと単純にプログラムで数えるだけの話になってしまう