satClause.h 18.2 KB