loading SCIP...
26 14297 true
0 1 4 6 9 14 15 18 19 20 25 31 33 40 43 51 61 69 70 74 78 85 86 88 95 98