is the 9.5" measurement the finished or unfinished size? i'm thinking it is the unfinished size since you state that she is cutting a plain block at 9.5". so, 9 - 3.5" cut blocks, when sewn together, will be an unfinished block at 9.5". when both blocks are put into a quilt, they will each finish at 9".