Added some solutions to 6.01 pset 7.