SAT-CHAIN