[] -> ph11-10_1 


Final result:
['UNSAT', 0, 'ph11-10_1', [], []]

Detected pigeons:

 ph11-10_1 = [[143, 146, 149, 152, 155, 158, 161, 164, 167, 170], [202, 205, 208, 211, 214, 217, 220, 223, 226, 229], [233, 236, 239, 242, 245, 248, 251, 254, 257, 260], [262, 265, 268, 271, 274, 277, 280, 283, 286, 289], [292, 295, 298, 301, 304, 307, 310, 313, 316, 319], [321, 324, 327, 330, 333, 336, 339, 342, 345, 348], [382, 385, 388, 391, 394, 397, 400, 403, 406, 409], [411, 414, 417, 420, 423, 426, 429, 432, 435, 438], [472, 475, 478, 481, 484, 487, 490, 493, 496, 499], [501, 504, 507, 510, 513, 516, 519, 522, 525, 528], [562, 565, 568, 571, 574, 577, 580, 583, 586, 589]]
