SAT working with the cache