PP12と5
PP13と4でPP17埋めるからどっちでも良いかな。
突き詰めるとPP12不要になるんだろうけど、うちでは今のところそこまで行かない。