You always start your calculations with the finished size, and then add your seam allowance to the patches. If you want a 9-patch that finishes at 12 inches (12.5" unfinished) each square needs to finish at 4 inches (12 divided by 3). If this is what you want, you would cut the squares at 4.5 inches.