SAT-CLARKE-TECH