loading SCIP...
26 14000 true
0 4 7 8 14 22 28 37 51 57 59 61 63 64 67 68 70 75 78 89 90 91 92 93 95 97