4234.sat