num.sat