typical.sat