loading SCIP...
32 9391 true
0 3 5 8 13 18 20 21 23 24 28 39 42 48 49 50 51 52 54 55 59 63 66 67 75 78 83 85 94 96 98 99