Delete SAT.fs