loading SCIP...
30 10250 true
1 3 6 12 14 17 18 19 23 25 30 42 43 44 46 51 57 61 66 68 70 73 75 76 86 87 88 90 92 94