rule.sat