Add Local Search & Local Search SAT. Add Test. Just a Bug left: one file
should be satisfied but is not.