2832.sat