memory.sat