loading SCIP...
28 11109 true
0 1 10 12 13 16 28 36 40 42 44 46 56 59 60 62 65 69 70 74 75 80 87 90 91 96 98 99