Finished solutions to P1-9 to P1-12.