partitions of 12 of size 3