loading SCIP...
30 8516 true
1 4 5 6 11 12 13 14 20 23 34 35 37 38 42 43 44 48 49 55 60 62 64 66 70 82 86 87 92 94