Cactus-SAT Cactus-SAT