SAT FINDER