solutions to problem set 12 426673