Update Sol_Nat1.ml