PHP(7,6) sat=False    0.03s conflicts=1044
PHP(8,7) sat=False    0.24s conflicts=7130
PHP(9,8) sat=False    0.98s conflicts=31719
PHP(10,9) sat=False   16.80s conflicts=267023
PHP(11,10) sat=False  185.06s conflicts=2227032