loading SCIP...
42 1031 true
0 3 4 7 8 10 13 18 19 20 23 27 31 33 38 39 41 43 49 50 51 57 60 61 63 66 68 69 71 73 75 77 78 79 80 82 90 91 95 96 97 99