sum.sat