Update Sol2.hs