sigma cat (SAT)