(DIR) SAT-TOOLS