revert ps1 to no soln set, add pset3