type.sat