First commit of SAT.fs