Create solution.ml