cactus.sat