loading SCIP...
30 8219 true
3 4 12 13 15 28 30 33 34 40 42 45 46 48 52 54 55 56 60 64 66 67 75 79 81 86 87 95 96 98