loading SCIP...
28 14031 true
0 1 2 4 5 8 9 10 14 16 17 19 22 26 33 38 39 50 58 60 62 66 67 69 75 80 81 94