3239.sat