Added solutions to pset 12.