theory.sat