Lines Matching defs:SignedSat