Create sol.hs