Update Sol1.hs