Working SAT