Create sol.lisp