P1_partition: unsat
P2_hole_is_benzel: unsat
PV_bones: sat
PS_bones: sat
PF_bones: sat
SOME CLAIM FAILED
