2432.sat