loading SCIP...
30 9062 true
1 3 8 9 12 13 23 24 25 33 34 38 43 47 50 54 55 56 59 64 69 72 74 76 77 86 88 90 92 96