2328.sat