cache.sat