3234.sat