satClause.h 18.1 KB