smooth.sat