loading SCIP...
28 12921 true
0 2 8 9 10 15 17 18 19 23 27 31 33 34 39 41 49 57 63 67 73 75 80 82 89 91 95 99