loading SCIP...
25 16531 true
0 1 4 12 23 24 28 31 35 38 39 48 53 59 66 71 72 76 77 80 81 85 87 90 91