extend problem size out to 13 from 5 - maybe we could use a better algorithm now?