loading SCIP...
26 15234 true
6 8 9 15 16 18 19 20 27 31 33 35 39 41 49 52 59 60 63 71 76 77 78 82 86 96